| 2003 | HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care. | Stphane Bourdais, Philippe Galinier, Gilles Pesant |
| 2003 | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty. | Julien Bidot |
| 2003 | To Be or Not to Be ... a Global Constraint. | Christian Bessire, Pascal Van Hentenryck |
| 2003 | A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. | Russell Bent, Pascal Van Hentenryck |
| 2003 | Semantic Decomposition for Solving Distance Constraints. | Heikel Batnini, Michel Rueher |
| 2003 | FeReRA: A Multi-agent Approach to Constraint Satisfaction. | Muhammed Basharu |
| 2003 | Efficient CNF Encoding of Boolean Cardinality Constraints. | Olivier Bailleux, Yacine Boufkhad |
| 2003 | Boosting Chaff's Performance by Incorporating CSP Heuristics. | Carlos Anstegui, Jose Larrubia, Felip Many |
| 2003 | A New Approach to Solving SAT-Encoded Binary CSPs. | Carlos Anstegui |
| 2003 | Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems. | Ola Angelsmark, Peter Jonsson |
| 2003 | clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming. | Nicos Angelopoulos |
| 2002 | Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. | Lintao Zhang, Sharad Malik |
| 2002 | Constraint Solving in Test-Data Generation. | Yuan Zhan |
| 2002 | On the Sum Constraint: Relaxation and Applications. | Tallys H. Yunes |
| 2002 | On Constraint Problems with Incompleteor Erroneous Data. | Neil Yorke-Smith, Carmen Gervet |
| 2002 | On Constraint Problems with Incomplete or Erroneous Data. | Neil Yorke-Smith |
| 2002 | Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information. | Makoto Yokoo, Koutarou Suzuki, Katsutoshi Hirayama |
| 2002 | Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. | Brian C. Williams, Michel D. Ingham |
| 2002 | Accelerating Random Walks. | Wei Wei, Bart Selman |
| 2002 | Batch Processing with Sequence Dependent Setup Times. | Petr Vilm |
| 2002 | Design Tradeoffs for Autonomous Trading Agents. | Ioannis A. Vetsikas |
| 2002 | Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems. | Kristen Brent Venable |
| 2002 | Improving GSAT Using 2SAT. | Peter J. Stuckey, Lei Zheng |
| 2002 | A Dual Graph Translation of a Problem in 'Life'. | Barbara M. Smith |