| 2004 | Challenges for Constraint Programming in Networking. | Helmut Simonis |
| 2004 | A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without Trusted Servers. | Marius-Calin Silaghi, Vaibhav Rajeshirke, Richard J. Wallace |
| 2004 | A Constraint for Bin Packing. | Paul Shaw |
| 2004 | Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics. | Bart Selman |
| 2004 | Theoretical Foundations of CP-Based Lagrangian Relaxation. | Meinolf Sellmann |
| 2004 | Speeding Up Constraint Propagation. | Christian Schulte, Peter J. Stuckey |
| 2004 | Improving the Applicability of Adaptive Consistency: Preliminary Results. | Mart Snchez-Fibla, Pedro Meseguer, Javier Larrosa |
| 2004 | Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries. | Andrew John Sadler, Carmen Gervet |
| 2004 | On-Demand Bound Computation for Best-First Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2004 | Controllability of Soft Temporal Constraint Problems. | Francesca Rossi, Kristen Brent Venable, Neil Yorke-Smith |
| 2004 | Explanations and Numeric CSPs. | Guillaume Rochart |
| 2004 | The Cardinality Matrix Constraint. | Jean-Charles Rgin, Carla P. Gomes |
| 2004 | Impact-Based Search Strategies for Constraint Programming. | Philippe Refalo |
| 2004 | Improved Algorithms for the Global Cardinality Constraint. | Claude-Guy Quimper, Alejandro Lpez-Ortiz, Peter van Beek, Alexander Golynski |
| 2004 | Improved Bound Computation in Presence of Several Clique Constraints. | Jean-Francois Puget |
| 2004 | Constraint Programming Next Challenge: Simplicity of Use. | Jean-Francois Puget |
| 2004 | Full Dynamic Substitutability by SAT Encoding. | Steven D. Prestwich |
| 2004 | Generating Robust Partial Order Schedules. | Nicola Policella, Angelo Oddi, Stephen F. Smith, Amedeo Cesta |
| 2004 | Constraints in Program Analysis and Verification. | Andreas Podelski |
| 2004 | Heuristics for the Distributed Breakout Algorithm. | Adrian Petcu |
| 2004 | A Regular Language Membership Constraint for Finite Sequences of Variables. | Gilles Pesant |
| 2004 | Propagation Guided Large Neighborhood Search. | Laurent Perron, Paul Shaw, Vincent Furnon |
| 2004 | Symbolic Decision Procedures for QBF. | Guoqiang Pan, Moshe Y. Vardi |
| 2004 | Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. | Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham |
| 2004 | ID Walk: A Candidate List Strategy with a Simple Diversification Device. | Bertrand Neveu, Gilles Trombettoni, Fred W. Glover |