• 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