Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems. - Mirko Stojadinovic (CP, 2014)

meSAT: multiple encodings of CSP to SAT. - Mirko Stojadinovic; Filip Maric (Constraints An Int. J., 2014)

Short Portfolio Training for CSP Solving. - Mirko Stojadinovic; Mladen Nikolic; Filip Maric (CoRR, 2015)