@ARTICLE{
author={Bankovic Milan M},
year={2025},
title={Automation of triangle straightedge-and-compass constructions using automated planning},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Bankovic Milan M},
year={2024},
title={Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={398},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Bankovic Milan M},
year={2023},
title={Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={62-72},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Bankovic Milan M,Drecun Ivan,Maric Filip M},
year={2021},
title={A Proof System for Graph (Non)-Isomorphism Verification},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={19},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M,Maric Filip M},
year={2021},
title={Faradzev Read-type enumeration of non-isomorphic CC systems},
journal={COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS},
volume={97},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M,Filipovic Vladimir J,Graovac Jelena B,Hadzi-Puric Jelena Z,...,Kartelj Aleksandar A,Kovacevic Jovana J,Korolija Nenad,Kotlar Milos,Krdzavac Nenad B,Maric Filip M,Malkov Sasa N,Milutinovic Veljko M,Mitic Nenad S,Miskovic Stefan Z,Nikolic Mladen,Pavlovic-Lazetic Gordana M,Simic Danijela,Stojanovic-Djurdjevic Sana,Vujicic-Stankovic Stasa,Vujosevic-Janicic Milena M,Zivkovic Miodrag V},
year={2020},
title={Teaching graduate students how to review research articles and respond to reviewer comments},
journal={ADVANCES IN COMPUTERS, VOL 116},
volume={116},
number={},
pages={1-63},
document_type={Review; Book Chapter},
} 

@ARTICLE{
author={Bankovic Milan M},
year={2017},
title={Parallelizing simplex within SMT solvers},
journal={ARTIFICIAL INTELLIGENCE REVIEW},
volume={48},
number={1},
pages={83-112},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M},
year={2016},
title={Solving Finite-Domain Linear Constraints in Presence of the Alldifferent},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={12},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M},
year={2016},
title={Extending SMT solvers with support for finite domain alldifferent constraint},
journal={CONSTRAINTS},
volume={21},
number={4},
pages={463-494},
document_type={Article},
}