- Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich:
Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP 2009: 787-801 - Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich:
Synthesizing Filtering Algorithms for Global Chance-Constraints. CP 2009: 439-453 - Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale:
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP 2009: 50-64 - Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
An Interpolation Method for CLP Traversal. CP 2009: 454-469 - Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný:
Same-Relation Constraints. CP 2009: 470-485 - Serdar Kadioglu, Meinolf Sellmann:
Dialectic Search. CP 2009: 486-500 - George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CP 2009: 501-508 - Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov:
Conflict Resolution. CP 2009: 509-523 - Mikael Z. Lagerkvist, Christian Schulte:
Propagator Groups. CP 2009: 524-538 - Christophe Lecoutre, Olivier Roussel:
Failed Value Consistencies for Constraint Satisfaction. CP 2009: 554-568 - Andrew Loewenstern:
Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion. CP 2009: 65-72 - Michele Lombardi, Michela Milano:
A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. CP 2009: 569-583 - Michael J. Maher:
SOGgy Constraints: Soft Open Global Constraints. CP 2009: 584-591 - Radu Marinescu:
Exploiting Problem Decomposition in Multi-objective Constraint Optimization. CP 2009: 592-607 - Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Search Space Extraction. CP 2009: 608-622 - Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni:
Solving Nurse Rostering Problems Using Soft Global Constraints. CP 2009: 73-87 - Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103 - Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo:
Coalition Structure Generation Utilizing Compact Characteristic Function Representations. CP 2009: 623-638 - Alexandre Papadopoulos, Barry O'Sullivan:
Compiling All Possible Conflicts of a CSP. CP 2009: 639-653 - Knot Pipatsrisawat, Adnan Darwiche:
On the Power of Clause-Learning SAT Solvers with Restarts. CP 2009: 654-668 - Cédric Pralet, Gérard Verfaillie:
Slice Encoding for Constraint-Based Planning. CP 2009: 669-683 - Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Evolving Parameterised Policies for Stochastic Constraint Programming. CP 2009: 684-691 - Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack:
Maintaining State in Propagation Solvers. CP 2009: 692-706 - Yevgeny Schreiber:
Cost-Driven Interactive CSP with Constraint Relaxation. CP 2009: 707-722 - Christian Schulte, Guido Tack:
Weakly Monotonic Propagators. CP 2009: 723-730 - Anika Schumann, Martin Sachenbacher, Jinbo Huang:
Constraint-Based Optimal Testing Using DNNF Graphs. CP 2009: 731-745 - Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace:
Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761 - Meinolf Sellmann:
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency. CP 2009: 762-770 - Helmut Simonis:
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. CP 2009: 104-118 - Barbara M. Smith:
Observations on Symmetry Breaking. CP 2009: 5