1. Extending CHIP in order to solve complex scheduling and placement problems;Aggoun;Mathl. Comput. Modelling,1993
2. SCIL-Symbolic constraints in integer linear programming;Althaus,2002
3. SIMPL, a system for integrating optimization techniques. CPAIOR 2004;Aron,2004
4. Extending forward checking;Bacchus,2000
5. Binary vs. non-binary constraints;Bacchus;Artificial Intelligence,2002