Autori: Maric Filip M
| Naslov | Formal Correctness Proof for DPLL Procedure (Article) |
| Autori | Maric Filip M Janicic Predrag |
| Info | INFORMATICA, (2010), vol. 21 br. 1, str. 57-78 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Instance-Based Selection of Policies for SAT Solvers (Proceedings Paper) |
| Autori | Nikolic Mladen Maric Filip M Janicic Predrag |
| Info | THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, (2009), vol. 5584 br. , str. 326-340 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formalization and Implementation of Modern SAT Solvers (Article) |
| Autori | Maric Filip M |
| Info | JOURNAL OF AUTOMATED REASONING, (2009), vol. 43 br. 1, str. 81-119 |
| Projekat | Serbian Ministry of Science [144030] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | ARGO-LIB: A generic platform for decision procedures (Article) |
| Autori | Maric Filip M Janicic Predrag |
| Info | AUTOMATED REASONING, PROCEEDINGS, (2004), vol. 3097 br. , str. 213-217 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
