@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,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},
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},
}