On Forward Checking for Non-binary Constraint Satisfaction by
Christian Bessiere, Pedro Meseguer, Eugene
C. Freuder and Javier Larrosa
A Meta-Heuristic Factory for Vehicle Routing Problems by Yves
Caseau, François Laburthe, Glenn Silverstein
Optimal Distributed Arc-Consistency by Youssef Hamadi
Improving a Heuristic Repair Method for Large School Timetabling
Problems by Kazuya Kaneko, Masazumi
Yoshikawa, and Yoichiro Nakakuki
Automatic generation of constraint propagation algorithms for small
finite domains by Krzysztof R. Apt and Eric Monfroy
Search Procedures and Parallelism in Constraint Programming by
Laurent Perron
Enforcing arc consistency by solving subCSPs on the fly by Christian
Bessiere and Jean-Charles Regin
Arc Consistency for Global Cardinality Constraints with costs by
Jean-Charles Regin
Solving Satisfiability Problems on FPGAs using Experimental Unit
Propagation by Takayuki Suyama, Makoto
Yokoo, and Akira Nagoya
An Overview of HAL by Bart Demoen, Maria Garcia de la Banda,
Warwick Harvey, Kim Marriott and Peter Stuckey