Mirko Stojadinovic

According to our database, Mirko Stojadinovic authored at least 3 papers between 2014 and 2015.

Collaborative distances:

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

2015

Short Portfolio Training for CSP Solving.

Mirko Stojadinovic, Mladen Nikolic, Filip Maric

CoRR, 2015

2014

meSAT: multiple encodings of CSP to SAT.

Mirko Stojadinovic, Filip Maric

Constraints An Int. J., 2014

Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems.

Mirko Stojadinovic

Proceedings of the Principles and Practice of Constraint Programming, 2014