Login / Signup
Mirko Stojadinovic
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Air Traffic
Related Problems
Backtracking Search
Dynamic Constraint Satisfaction Problems
Top Venues
CoRR
Constraints An Int. J.
CP
</>
Publications
</>
Mirko Stojadinovic
,
Mladen Nikolic
,
Filip Maric
Short Portfolio Training for CSP Solving.
CoRR
(2015)
Mirko Stojadinovic
Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems.
CP
(2014)
Mirko Stojadinovic
,
Filip Maric
meSAT: multiple encodings of CSP to SAT.
Constraints An Int. J.
19 (4) (2014)