Milan Bankovic

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Graduate Students

Subgraph Isomorphism

Constraint Solvers

Modulo Theories

Top Venues

Log. Methods Comput. Sci.

Artif. Intell. Rev.

Publications

Milan Bankovic
Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers. CoRR (2024)
Milan Bankovic, Ivan Drecun, Filip Maric
A proof system for graph (non)-isomorphism verification. Log. Methods Comput. Sci. 19 (1) (2023)
Milan Bankovic, David Scepanovic
Trail Saving in SMT. SMT (2022)
Milan Bankovic, Filip Maric
Faradžev Read-type enumeration of non-isomorphic CC systems. Comput. Geom. 97 (2021)
Milan Bankovic, Ivan Drecun, Filip Maric
A proof system for graph (non)-isomorphism verification. CoRR (2021)
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, Veljko Milutinovic, Nenad S. Mitic, Stefan Miskovic, Mladen Nikolic, Gordana Pavlovic-Lazetic, Danijela Simic, Miodrag V. Zivkovic
Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. Adv. Comput. 116 (2020)
Milan Bankovic
Parallelizing simplex within SMT solvers. Artif. Intell. Rev. 48 (1) (2017)
Milan Bankovic
. Log. Methods Comput. Sci. 12 (3) (2016)
Milan Bankovic
Extending SMT solvers with support for finite domain alldifferent constraint. Constraints An Int. J. 21 (4) (2016)