Barry O'Sullivan
Debugging abstract verification constraint logic programming constraint programming constraint relaxation constraint satisfaction problems constraint solving local search logic logic inference modeling programming soft constraints verification algorithm analysis and problem complexity