1. Research with MATF
  2. Research Outputs

Browsing by Subject SAT solving

Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)Rank
2021Faradžev Read-type enumeration of non-isomorphic CC systemsBanković, Milan; Marić, Filip M23
15-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip 
1-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip 
1-Dec-2013Simple algorithm portfolio for SATNikolić, Mladen ; Marić, Filip ; Janičić, Predrag 
Showing results 1 to 4 of 4