Walsh, Toby..Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November/December 2001 : proceedings /.Springer,,2001..
Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November/December 2001 : proceedings /
Bacchus, Fahiem.,Walsh, Toby..Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, U.K., June 19-23, 2005 : proceedings /.Springer,,c2005..
