Autori: Maric Filip M
Naslov | Formalization of Abstract State Transition System for Sat (Article) |
Autori | Maric Filip M Janicic Predrag |
Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2011), vol. 7 br. 3, str. - |
Projekat | Serbian Ministry of Science[174021]; SNF[SCOPES IZ73Z0_127979/1] |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (Article) |
Autori | Maric Filip M |
Info | THEORETICAL COMPUTER SCIENCE, (2010), vol. 411 br. 50, str. 4333-4356 |
Projekat | Serbian Ministry of Science [144030] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
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 | 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 |