Autori: Bankovic Milan M
| Naslov | Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers (Proceedings Paper) |
| Autori | Bankovic Milan M |
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 62-72 |
| Projekat | Serbian Ministry of Science [174021] |
| Ispravka | ISI/Web of Science Članak Elečas |
| Naslov | A Proof System for Graph (Non)-Isomorphism Verification (Article) |
| Autori | Bankovic Milan M Drecun Ivan Maric Filip M |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2021), vol. 19 br. 1, str. - |
| Projekat | Serbian Ministry of Science [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Faradzev Read-type enumeration of non-isomorphic CC systems (Article) |
| Autori | Bankovic Milan M Maric Filip M |
| Info | COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, (2021), vol. 97 br. , str. - |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Teaching graduate students how to review research articles and respond to reviewer comments (Review; Book Chapter) |
| Autori | Bankovic Milan M Filipovic Vladimir J Graovac Jelena B Hadzi-Puric Jelena Z ... Kartelj Aleksandar A Kovacevic Jovana J Korolija Nenad Kotlar Milos Krdzavac Nenad B Maric Filip M Malkov Sasa N Milutinovic Veljko M Mitic Nenad S Miskovic Stefan Nikolic Mladen Pavlovic-Lazetic Gordana M Simic Danijela Stojanovic-Djurdjevic Sana Vujicic-Stankovic Stasa Vujosevic-Janicic Milena M Zivkovic Miodrag V |
| Info | ADVANCES IN COMPUTERS, VOL 116, (2020), vol. 116 br. , str. 1-63 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Parallelizing simplex within SMT solvers (Article) |
| Autori | Bankovic Milan M |
| Info | ARTIFICIAL INTELLIGENCE REVIEW, (2017), vol. 48 br. 1, str. 83-112 |
| 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 | Solving Finite-Domain Linear Constraints in Presence of the Alldifferent (Article) |
| Autori | Bankovic Milan M |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2016), vol. 12 br. 3, str. - |
| Projekat | Serbian Ministry of Science grant [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Extending SMT solvers with support for finite domain alldifferent constraint (Article) |
| Autori | Bankovic Milan M |
| Info | CONSTRAINTS, (2016), vol. 21 br. 4, str. 463-494 |
| 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 |
