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