Extending SMT solvers with support for finite domain alldifferent constraint. - Milan Bankovic (Constraints An Int. J., 2016)

Solving finite-domain linear constraints in presence of the alldifferent. - Milan Bankovic (Log. Methods Comput. Sci., 2016)

Parallelizing simplex within SMT solvers. - Milan Bankovic (Artif. Intell. Rev., 2017)

Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. - Milan Bankovic; Vladimir Filipovic; Jelena Graovac; Jelena Hadzi-Puric; Ali R. Hurson; Aleksandar Kartelj; Jovana J. Kovacevic; Nenad Korolija; Milos Kotlar; Nenad B. Krdzavac; Filip Maric; Sasa N. Malkov; et al. (Adv. Comput., 2020)

Faradžev Read-type enumeration of non-isomorphic CC systems. - Milan Bankovic; Filip Maric (Comput. Geom., 2021)

Trail Saving in SMT. - Milan Bankovic; David Scepanovic (SMT, 2022)

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers. - Milan Bankovic (ADG, 2023)

A proof system for graph (non)-isomorphism verification. - Milan Bankovic; Ivan Drecun; Filip Maric (Log. Methods Comput. Sci., 2023)