Nauka

Naučna interesovanja

Zadovoljivost u odnosu na teorije prvog reda (SMT)
Iskazna zadovoljivost (SAT)
Primene SAT i SMT tehnologija
Interaktivno dokazivanje teorema
Problemi zadovoljivosti ograničenja (CSP)

Publikacije

Milan Banković. Automation of triangle straightedge-and-compass constructions using automated planning. Annals of Mathematics and Artificial Intelligence. 2025. ([pdf-draft], [springer])
Milan Banković. Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers. ADG 2023. Belgrade, Serbia. September 20-22, 2023. ([pdf-draft])
Milan Banković, Ivan Drecun, Filip Marić. A proof system for graph (non)-isomorphism verification. Logical Methods in Computer Science. 2023. ([pdf], [LMCS])
Milan Banković, David Šćepanović. Trail saving in SMT. Federated Logic Conference 2022. (International Workshop on Satisfiability Modulo Theories - SMT2022). Haifa, Israel, July 31 - August 12, 2022. ([pdf],[zbornik])
Milan Banković, Filip Marić. Faradžev Read-type enumeration of non-isomorphic CC systems. Computational Geometry. 2021. ([pdf],[elsevier])
Milan Banković. Automatsko rešavanje igre Sokoban pomoću veštačke inteligencije. YU INFO 2021, Kopaonik, Srbija. 2021. ([pdf],[zbornik])
Milan Banković et al. Teaching graduate students how to review research articles and respond to reviewer comments. Advances in Computers. 2020. ([elsevier])
Milan Banković. Unapređivanje SMT rešavača korišćenjem CSP tehnika i tehnika paralelizacije. Doktorska disertacija. 2016. ([pdf])
Milan Banković. Solving finite-domain linear constraints in presence of the alldifferent. Logical Methods in Computer Science. 2016. ([pdf], [LMCS])
Milan Banković. Parallelizing simplex within SMT solvers. Artificial Intelligence Review. 2016. ([pdf], [springer])
Milan Banković. Extending SMT solvers with support for finite domain alldifferent constraint. Constraints. 2015. ([pdf], [springer])
Milan Banković. ArgoSMTe: an SMT-LIB 2.0 compliant expression library. Pragmatics of SAT 2012. ([pdf])
Milan Banković. Filip Marić. Alldifferent constraint solver in SMT. Federated Logic Conference 2010. (International Workshop on Satisfiability Modulo Theories - SMT'10). ([pdf])