@inproceedings{Vilim2009FDS,
 author = {Petr Vil\'{\i}m and Philippe Laborie and Paul Shaw},
 title = {Failure-directed Search for Constraint-based Scheduling},
 booktitle = {CPAIOR '15: Proceedings of the 12th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems},
 year = {2015},
 location = {Barcelon, Spain},
 publisher = {Springer-Verlag}
}