Autori: Maric Filip M
Naslov | Fast Formal Proof of the Erds-Szekeres Conjecture for Convex Polygons with at Most 6 Points (Article) |
Autori | Maric Filip M |
Info | JOURNAL OF AUTOMATED REASONING, (2019), vol. 62 br. 3, str. 301-329 |
Projekat | Ministry of Science of Serbia [174021] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Preface (Proceedings Paper) |
Autori | Botana Francisco Brucker Achim Hasek Roman Maric Filip M Neuper Walther Pech Pavel Quaresma Pedro Santos Vanda Schreiner Wolfgang Wolff Burkhart |
Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2018), vol. br. 267, str. - |
Ispravka | ISI/Web of Science Elečas Citati: ISI/Web of Science Scopus |
Naslov | meSAT: Multiple Encodings of CSP to SAT (Proceedings Paper) |
Autori | Stojadinovic Mirko S Maric Filip M |
Info | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, (2015), vol. 9255 br. , str. 741-741 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (Proceedings Paper) |
Autori | Maric Filip M Janicic Predrag Malikovic Marko |
Info | AUTOMATED DEDUCTION - CADE-25, (2015), vol. 9195 br. , str. 256-271 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Formalizing complex plane geometry (Article) |
Autori | Maric Filip M Petrovic Danijela |
Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 271-308 |
Projekat | Serbian Ministry of Education and Science [ON174021]; Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | meSAT: multiple encodings of CSP to SAT (Article) |
Autori | Stojadinovic Mirko S Maric Filip M |
Info | CONSTRAINTS, (2014), vol. 19 br. 4, str. 380-403 |
Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Simple algorithm portfolio for SAT (Article) |
Autori | Nikolic Mladen Maric Filip M Janicic Predrag |
Info | ARTIFICIAL INTELLIGENCE REVIEW, (2013), vol. 40 br. 4, str. 457-465 |
Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
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 | URBiVA: Uniform Reduction to Bit-Vector Arithmetic (Proceedings Paper) |
Autori | Maric Filip M Janicic Predrag |
Info | AUTOMATED REASONING, (2010), vol. 6173 br. , str. 346-352 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
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 |