Introduction to the special issue on the thirteenth international conference on principles and practice of constraint programming (CP 2007). [Citation Graph (, )][DBLP]
Model-driven visualizations of constraint-based local search. [Citation Graph (, )][DBLP]
Limitations of restricted branching in clause learning. [Citation Graph (, )][DBLP]