J. Christopher Beck Tom Carchrae Eugene C. Freuder Georg Ringwelski Backtrack-Free Search for Real-Time Constraint Satisfaction. 92-106 http://dx.doi.org/10.1007/978-3-540-30201-8_10 2004 conf/cp/2004 CP db/conf/cp/cp2004.html#BeckCFR04