Filip Marić

University of Belgrade - Belgrade / Serbia

Natural Sciences / Mathematical Sciences

AD Scientific Index ID: 1132537

Универзитет у Београду

Registration, Add Profile,
Premium Membership

Print Your Certificate

Filip Marić's MOST POPULAR ARTICLES

1-) Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLF MarićTheoretical Computer Science 411 (50), 4333-4356, 2010772010

2-) Formalization and implementation of modern SAT solversF MarićJournal of Automated Reasoning 43 (1), 81-119, 2009762009

3-) Instance-based selection of policies for SAT solversM Nikolić, F Marić, P JaničićInternational Conference on Theory and Applications of Satisfiability …, 2009642009

4-) Simple algorithm portfolio for SATM Nikolić, F Marić, P JaničićArtificial Intelligence Review 40 (4), 457-465, 2013512013

5-) meSAT: multiple encodings of CSP to SATM Stojadinović, F MarićConstraints 19 (4), 380-403, 2014432014

ARTICLES

Add your articles