| 2004 | (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. Hubie Chen, Víctor Dalmau |
| 2004 | A BDD-Based Approach to Interactive Configuration. Tarik Hadzic |
| 2004 | A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2004 | A Constraint for Bin Packing. Paul Shaw |
| 2004 | A Constraint-Based Graphics Library for B-Prolog. Neng-Fa Zhou |
| 2004 | A Constraint-Based Planner Applied to Data Processing Domains. Keith Golden, Wanlin Pang |
| 2004 | A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry |
| 2004 | A Domain Consistency Algorithm for the Stretch Constraint. Lars Hellsten, Gilles Pesant, Peter van Beek |
| 2004 | A Dynamic Restart Strategy for Randomized BT Search. Venkata Praveen Guddeti |
| 2004 | A General Extension of Constraint Propagation for Constraint Optimization. Xiaofei Huang |
| 2004 | A Hybrid Method for Planning and Scheduling. John N. Hooker |
| 2004 | A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint. Willem Jan van Hoeve |
| 2004 | A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT. Wei Li |
| 2004 | A New Algorithm for Maintaining Arc Consistency After Constraint Retraction. Pavel Surynek, Roman Barták |
| 2004 | A Regular Language Membership Constraint for Finite Sequences of Variables. Gilles Pesant |
| 2004 | A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without Trusted Servers. Marius-Calin Silaghi, Vaibhav Rajeshirke, Richard J. Wallace |
| 2004 | Adaptive Enterprise Optimization Framework: AEO Server and AEO Studio. Alexander Brodsky, Xiaoyang Sean Wang |
| 2004 | Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics. Bart Selman |
| 2004 | Algorithms for Quantified Constraint Satisfaction Problems. Nikos Mamoulis, Kostas Stergiou |
| 2004 | Applying Constraint Satisfaction Techniques to 3D Camera Control. Owen Bourne, Abdul Sattar |
| 2004 | Backtrack-Free Search for Real-Time Constraint Satisfaction. J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski |
| 2004 | Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact. Jeremy Frank |
| 2004 | CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration.. Rune Møller Jensen |
| 2004 | CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda |
| 2004 | Challenges for Constraint Programming in Networking. Helmut Simonis |
| 2004 | Choosing Efficient Representations of Abstract Variables. Christopher Jefferson |
| 2004 | Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling. András Kovács, József Váncza |
| 2004 | Computing the Frequency of Partial Orders. Marc R. C. van Dongen |
| 2004 | Concurrent Dynamic Backtracking for Distributed CSPs. Roie Zivan, Amnon Meisels |
| 2004 | Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. Yong Gao, Joseph C. Culberson |
| 2004 | Constraining Special-Purpose Domain Types. Peter Zoeteweij |
| 2004 | Constraint Programming Next Challenge: Simplicity of Use. Jean-Francois Puget |
| 2004 | Constraint Propagation as a Proof System. Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi |
| 2004 | Constraint Satisfaction in Semi-structured Data Graphs. Nikos Mamoulis, Kostas Stergiou |
| 2004 | Constraint-Based Combinators for Local Search. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu |
| 2004 | Constraints in Program Analysis and Verification. Andreas Podelski |
| 2004 | Controllability of Soft Temporal Constraint Problems. Francesca Rossi, Kristen Brent Venable, Neil Yorke-Smith |
| 2004 | Counting-Based Look-Ahead Schemes for Constraint Satisfaction. Kalev Kask, Rina Dechter, Vibhav Gogate |
| 2004 | Decomposition and Learning for a Hard Real Time Task Allocation Problem. Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet |
| 2004 | Deriving Filtering Algorithms from Constraint Checkers. Nicolas Beldiceanu, Mats Carlsson, Thierry Petit |
| 2004 | Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | Efficient Strategies for (Weighted) Maximum Satisfiability. Zhao Xing, Weixiong Zhang |
| 2004 | Explanations and Numeric CSPs. Guillaume Rochart |
| 2004 | Exploiting Symmetries via Permutations for PC Board Manufacturing. Roland Martin |
| 2004 | Extending Super-solutions. Emmanuel Hebrard |
| 2004 | Financial Portfolio Optimisation. Pierre Flener, Justin Pearson, Luis G. Reyna |
| 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 | Global Constraints for Integer and Set Value Precedence. Yat Chiu Law, Jimmy Ho-Man Lee |
| 2004 | Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory. Vincent A. Cicirello, Stephen F. Smith |
| 2004 | Heuristics for the Distributed Breakout Algorithm. Adrian Petcu |
| 2004 | How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. Haixia Jia, Cristopher Moore |
| 2004 | Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries. Andrew John Sadler, Carmen Gervet |
| 2004 | ID Walk: A Candidate List Strategy with a Simple Diversification Device. Bertrand Neveu, Gilles Trombettoni, Fred W. Glover |
| 2004 | Impact-Based Search Strategies for Constraint Programming. Philippe Refalo |
| 2004 | Improved Algorithms for the Global Cardinality Constraint. Claude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, Alexander Golynski |
| 2004 | Improved Bound Computation in Presence of Several Clique Constraints. Jean-Francois Puget |
| 2004 | Improving the Applicability of Adaptive Consistency: Preliminary Results. Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa |
| 2004 | Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics. Tomás Müller |
| 2004 | Leveraging the Learning Power of Examples in Automated Constraint Acquisition. Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan |
| 2004 | Local Search with Maximal Independent Sets. Joel M. Gompert |
| 2004 | Long-Term Learning for Algorithm Control. Tom Carchrae |
| 2004 | Machine Learning for Portfolio Selection Using Structure at the Instance Level. Cormac Gebruers, Alessio Guerri |
| 2004 | Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs. Christine Wei Wu |
| 2004 | Monotone Literals and Learning in QBF Reasoning. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | N-Kings for Dynamic Systems. Konstantin Artiouchine |
| 2004 | On Tightness of Constraints. Yuanlin Zhang |
| 2004 | On-Demand Bound Computation for Best-First Constraint Optimization. Martin Sachenbacher, Brian C. Williams |
| 2004 | Online Constraint Solving and Rectangle Packing. Alfio Vidotto |
| 2004 | PLASMA: A Constraint Based Planning Architecture. Andrew Bachmann, Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor |
| 2004 | Preprocessing Techniques for Distributed Constraint Optimization. Syed Muhammad Ali, Sven Koenig, Milind Tambe |
| 2004 | Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings Mark Wallace |
| 2004 | Programming Robotic Devices with a Timed Concurrent Constraint Language. María del Pilar Muñoz, Andrés René Hurtado |
| 2004 | Propagation Guided Large Neighborhood Search. Laurent Perron, Paul Shaw, Vincent Furnon |
| 2004 | Quality of LP-Based Approximations for Highly Combinatorial Problems. Lucian Leahu, Carla P. Gomes |
| 2004 | Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. Hubie Chen |
| 2004 | Relation Variables in Qualitative Spatial Reasoning. Sebastian Brand |
| 2004 | Set Domain Propagation Using ROBDDs. Vitaly Lagoon, Peter J. Stuckey |
| 2004 | Set Variables and Local Search. Magnus Ågren |
| 2004 | Softly Constrained CP Nets. Kristen Brent Venable |
| 2004 | Solution Extraction with the "Critical Path" in Graphplan-Based Optimal Temporal Planning. Tien Ba Dinh |
| 2004 | Solving Non-clausal Formulas with DPLL Search. Christian Thiffault, Fahiem Bacchus, Toby Walsh |
| 2004 | Solving the Crane Scheduling Problem Using Intelligent Search Schemes. Andrew Lim, Brian Rodrigues, Zhou Xu |
| 2004 | Speeding Up Constraint Propagation. Christian Schulte, Peter J. Stuckey |
| 2004 | Statistical Regimes Across Constrainedness Regions. Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere |
| 2004 | Strategies for Global Optimization of Temporal Preferences. Paul H. Morris, Robert A. Morris, Lina Khatib, Sailesh Ramakrishnan, Andrew Bachmann |
| 2004 | Streamlined Constraint Reasoning. Carla P. Gomes, Meinolf Sellmann |
| 2004 | Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design. Wilhelm Cronholm, Farid Ajili |
| 2004 | Support Inference for Generic Filtering. Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
| 2004 | Symbolic Decision Procedures for QBF. Guoqiang Pan, Moshe Y. Vardi |
| 2004 | Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Ismel Brito |
| 2004 | The Cardinality Matrix Constraint. Jean-Charles Régin, Carla P. Gomes |
| 2004 | The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting. Rina Dechter, Robert Mateescu |
| 2004 | The Tractability of Global Constraints. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | Theoretical Foundations of CP-Based Lagrangian Relaxation. Meinolf Sellmann |
| 2004 | Unary Resource Constraint with Optional Activities. Petr Vilím, Roman Barták, Ondrej Cepek |
| 2004 | Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham |
| 2004 | Variable Ordering Heuristics Show Promise. J. Christopher Beck, Patrick Prosser, Richard J. Wallace |