Milan Bankovic

According to our database, Milan Bankovic authored at least 8 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers.

Milan Bankovic

CoRR, 2024

2023

A proof system for graph (non)-isomorphism verification.

Milan Bankovic, Ivan Drecun, Filip Maric

Log. Methods Comput. Sci., 2023

2022

Trail Saving in SMT.

Milan Bankovic, David Scepanovic

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

2021

Faradžev Read-type enumeration of non-isomorphic CC systems.

Milan Bankovic, Filip Maric

Comput. Geom., 2021

2020

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, Veljko Milutinovic, Nenad S. Mitic, Stefan Miskovic, Mladen Nikolic, Gordana Pavlovic-Lazetic, Danijela Simic, Miodrag V. Zivkovic

Adv. Comput., 2020

2017

Parallelizing simplex within SMT solvers.

Milan Bankovic

Artif. Intell. Rev., 2017

2016

Solving finite-domain linear constraints in presence of the <tt>alldifferent</tt>.

Milan Bankovic

Log. Methods Comput. Sci., 2016

Extending SMT solvers with support for finite domain alldifferent constraint.

Milan Bankovic

Constraints An Int. J., 2016