×
Compute Distance To:
Author ID: maric.filip Recent zbMATH articles by "Marić, Filip"
Published as: Marić, Filip
External Links: MGP
Documents Indexed: 16 Publications since 2004
Co-Authors: 12 Co-Authors with 13 Joint Publications
49 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 40 times in 34 Documents Cited by Year
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. Zbl 1208.68205
Marić, Filip
14
2010
Formalization and implementation of modern SAT solvers. Zbl 1187.68557
Marić, Filip
8
2009
meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049
Stojadinović, Mirko; Marić, Filip
4
2014
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
3
2010
Formalizing complex plane geometry. Zbl 1330.68264
Marić, Filip; Petrović, Danijela
3
2015
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
Formalizing Frankl’s conjecture: FC-families. Zbl 1360.68758
Marić, Filip; Živković, Miodrag; Vučković, Bojan
2
2012
Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points. Zbl 1468.68302
Marić, Filip
2
2019
Formalization of incremental simplex algorithm by stepwise refinement. Zbl 1372.68068
Spasić, Mirko; Marić, Filip
1
2012
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
1
2011
Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points. Zbl 1468.68302
Marić, Filip
2
2019
Formalizing complex plane geometry. Zbl 1330.68264
Marić, Filip; Petrović, Danijela
3
2015
meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049
Stojadinović, Mirko; Marić, Filip
4
2014
Formalizing Frankl’s conjecture: FC-families. Zbl 1360.68758
Marić, Filip; Živković, Miodrag; Vučković, Bojan
2
2012
Formalization of incremental simplex algorithm by stepwise refinement. Zbl 1372.68068
Spasić, Mirko; Marić, Filip
1
2012
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
1
2011
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. Zbl 1208.68205
Marić, Filip
14
2010
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
3
2010
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
Formalization and implementation of modern SAT solvers. Zbl 1187.68557
Marić, Filip
8
2009

Citations by Year