@ARTICLE{
author={Stojadinovic Mirko S,Maric Filip M},
year={2015},
title={meSAT: Multiple Encodings of CSP to SAT},
journal={PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015},
volume={9255},
number={},
pages={741-741},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Stojadinovic Mirko S},
year={2014},
title={Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems},
journal={PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014},
volume={8656},
number={},
pages={886-902},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Stojadinovic Mirko S,Maric Filip M},
year={2014},
title={meSAT: multiple encodings of CSP to SAT},
journal={CONSTRAINTS},
volume={19},
number={4},
pages={380-403},
document_type={Article},
}