Daniel Frost Rina Dechter Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units. 469 http://link.springer.de/link/service/series/0558/bibs/1520/15200469.htm 1998 conf/cp/1998 CP db/conf/cp/cp98.html#FrostD98