Edit Profile (opens in new tab) Marić, Filip Compute Distance To: Compute Author ID: maric.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 all top 5 Co-Authors 3 single-authored 6 Janičić, Predrag 2 Maliković, Marko 1 Banković, Milan 1 Boutry, Pierre 1 Petrović, Danijela 1 Simić, Danijela 1 Spasić, Mirko 1 Stojadinović, Mirko 1 Tošić, Dušan D. 1 Vučković, Bojan 1 Vujošević-Janičić, Milena 1 Živković, Miodrag V. all top 5 Serials 3 Journal of Automated Reasoning 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 Computational Geometry 1 YUJOR. Yugoslav Journal of Operations Research 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Informatica (Vilnius) all top 5 Fields 14 Computer science (68-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.68205Marić, Filip 14 2010 Formalization and implementation of modern SAT solvers. Zbl 1187.68557Marić, Filip 8 2009 meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049Stojadinović, Mirko; Marić, Filip 4 2014 URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361Marić, Filip; Janičić, Predrag 3 2010 Formalizing complex plane geometry. Zbl 1330.68264Marić, Filip; Petrović, Danijela 3 2015 Formal correctness proof for DPLL procedure. Zbl 1209.68514Marić, Filip; Janičić, Predrag 2 2010 Formalizing Frankl’s conjecture: FC-families. Zbl 1360.68758Marić, 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.68302Marić, Filip 2 2019 Formalization of incremental simplex algorithm by stepwise refinement. Zbl 1372.68068Spasić, Mirko; Marić, Filip 1 2012 Formalization of abstract state transition systems for SAT. Zbl 1237.68179Marić, 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.68302Marić, Filip 2 2019 Formalizing complex plane geometry. Zbl 1330.68264Marić, Filip; Petrović, Danijela 3 2015 meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049Stojadinović, Mirko; Marić, Filip 4 2014 Formalizing Frankl’s conjecture: FC-families. Zbl 1360.68758Marić, Filip; Živković, Miodrag; Vučković, Bojan 2 2012 Formalization of incremental simplex algorithm by stepwise refinement. Zbl 1372.68068Spasić, Mirko; Marić, Filip 1 2012 Formalization of abstract state transition systems for SAT. Zbl 1237.68179Marić, Filip; Janičić, Predrag 1 2011 Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. Zbl 1208.68205Marić, Filip 14 2010 URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361Marić, Filip; Janičić, Predrag 3 2010 Formal correctness proof for DPLL procedure. Zbl 1209.68514Marić, Filip; Janičić, Predrag 2 2010 Formalization and implementation of modern SAT solvers. Zbl 1187.68557Marić, Filip 8 2009 all cited Publications top 5 cited Publications all top 5 Cited by 67 Authors 6 Marić, Filip 3 Boutry, Pierre 3 Lammich, Peter 3 Myreen, Magnus O. 2 Banković, Milan 2 Blanchette, Jasmin Christian 2 Fleury, Mathias 2 Heule, Marijn J. H. 2 Janičić, Predrag 2 Lochbihler, Andreas 2 Narboux, Julien 2 Oe, Duckki 2 Stump, Aaron 2 Weidenbach, Christoph 1 Allamigeon, Xavier 1 Alonso-Jiménez, José Antonio 1 Amadini, Roberto 1 Arthan, Rob D. 1 Baek, Seulkee 1 Berger, Ulrich 1 Borrego-Díaz, Joaquín 1 Braun, Gabriel 1 Bruhn, Henning 1 Bulwahn, Lukas 1 Clancy, Kevin 1 Datta, Pratish 1 Davis, Jared 1 Dutta, Ratna 1 Gabbrielli, Maurizio 1 Gribanova, Irina 1 Gries, Charly 1 Hadarean, Liana 1 Hidalgo-Doblado, M. J. 1 Katz, Ricardo David 1 Kochemazov, Stepan 1 Kovács, Zoltán 1 Kumar, Ramana 1 Lawrence, Andrew 1 Lindauer, Marius 1 Manthey, Norbert 1 Marinković, Vesna 1 Martín-Mateos, Francisco-Jesús 1 Mauro, Jacopo 1 Mukhopadhyay, Sourav 1 Nikolić, Mladen 1 Oliver, Corey 1 Otpuschennikov, Ilya V. 1 Owens, Scott 1 Philipp, Tobias 1 Pulaj, Jonad 1 Reynolds, Andrew 1 Ruiz-Reina, José-Luis 1 Schaudt, Oliver 1 Scheucher, Manfred 1 Schreck, Pascal 1 Seisenberger, Monika 1 Semenov, Aleksandr Anatol’evich 1 Shankar, Natarajan 1 Simić, Danijela 1 Søndergaard, Harald 1 Stojadinović, Mirko 1 Stuckey, Peter James 1 Tan, Yong Kiam 1 Tinelli, Cesare 1 Vaucher, Marc 1 Wang, Wenxi 1 Zaikin, Oleg Sergeevich all top 5 Cited in 10 Serials 11 Journal of Automated Reasoning 2 Computational Geometry 2 Constraints 1 Mathematics of Computation 1 Theoretical Computer Science 1 Graphs and Combinatorics 1 Journal of Symbolic Computation 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 Logical Methods in Computer Science all top 5 Cited in 7 Fields 30 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 3 Geometry (51-XX) 3 Convex and discrete geometry (52-XX) 3 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year