| An Alldifferent constraint solver in SMT M Bankovic, F Maric 8th International Workshop on Satisfiability Modulo Theories, 2010 | 15 | 2010 |
| Teaching graduate students how to review research articles and respond to reviewer comments M Banković, V Filipović, J Graovac, J Hadži-Purić, AR Hurson, A Kartelj, ... Advances in Computers 116 (1), 1-63, 2020 | 12 | 2020 |
| Extending SMT solvers with support for finite domain alldifferent constraint M Banković Constraints, 1-32, 2015 | 7 | 2015 |
| Parallelizing simplex within SMT solvers M Banković Artificial Intelligence Review 48, 83-112, 2017 | 5 | 2017 |
| ArgoSMTExpression: an SMT-LIB 2.0 compliant expression library M Bankovic Workshop of the SAT (June 2012), 2012 | 3 | 2012 |
| A proof system for graph (non)-isomorphism verification M Banković, I Drecun, F Marić Logical Methods in Computer Science 19, 2023 | 2 | 2023 |
| Solving finite-domain linear constraints in presence of the M Banković Logical Methods in Computer Science 12, 2017 | 2 | 2017 |
| Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers M Banković arXiv preprint arXiv:2401.11903, 2024 | 1 | 2024 |
| Trail Saving in SMT M Banković, D Šćepanović | | 2022 |
| Faradžev Read-type enumeration of non-isomorphic CC systems M Banković, F Marić Computational Geometry 97, 101770, 2021 | | 2021 |
| Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације MM Banković Универзитет у Београду, 2016 | | 2016 |
| Unapredjivanje SMT rešavača korišćenjem CSP tehnika i tehnika paralelizacije M Banković Univerzitet u Beogradu-Matematički fakultet, 2016 | | 2016 |
| AUTOMATSKO RE ˇSAVANJE IGRE SOKOBAN POMO CU VE ˇSTA ˇCKE INTELIGENCIJE AUTOMATED SOLVING OF SOKOBAN PUZZLE USING ARTIFICIAL INTELLIGENCE M Bankovic | | |
Filip MarićFaculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs
