Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin ; Mark Wallace |
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur ; S. Thorsteinsson |
Towards Inductive Constraint Solving / Slim Abdennadher ; Christophe Rigotti |
Collaborative Learning for Constraint Solving / Susan L. Epstein ; Eugene C. Freuder |
Towards Stochastic Constraint Programming: A Studyof Online Multi-choice Knapsack with Deadlines / Thierry Benoist ; Eric Bourreau ; Yves Caseau ; Benoit Rottembourg |
Global Cut Framework for Removing Symmetries / Filippo Focacci ; Michaela Milano |
Symmetry Breaking / Torsten Fahle ; Stefan Schamberger ; Meinolf Sellmann |
The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10 / Olivier Dubois ; Gilles Dequen |
Random 3-SAT and BDDs: The Plot Thickens Further / Alfonso San Miguel Aguirre ; Moshe Y. Vardi |
Capturing Structure with Satisfiability / Ramón Béjar ; Alba Cabiscol ; Cèsar Fernàndez ; Felip Manyà ; Carla Gomes |
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT / Weixiong Zhang |
Solving Non-binaryCSPs Using the Hidden Variable Encoding / Nikos Mamoulis ; Kostas Stergiou |
A Filtering Algorithm for the Stretch Constraint / Gilles Pesant |
Network Flow Problems in Constraint Programming / Alexander Bockmayr ; Nicolai Pisaruk ; Abderrahmane Aggoun |
Pruning for the Minimum Constraint Familyand for the Number of Distinct Values Constraint Family / Nicolas Beldiceanu |
A Constraint Programming Approach to the Stable Marriage Problem / Ian P. Gent ; Robert W. Irving ; David F. Manlove ; Patrick Prosser ; Barbara M. Smith |
Components for State Restoration in Tree Search / Chiu Wo Choi ; Martin Henz ; Ka Boon Ng |
Adaptive Constraint Handling with CHR in Java / Armin Wolf |
ConsistencyMaintenance for ABT / Marius-C&abrave;lin Silaghi ; Djamila Sam-Haroud ; Boi Faltings |
Constraint-Based Verification of Client-Server Protocols / Giorgio Delzanno ; Tevfik Bultan |
A Temporal Concurrent Constraint Programming Calculus / Catuscia Palamidessi ; Frank D. Valencia |
Lower Bounds for Non-binaryConstraint Optimization Problems / Pedro Meseguer ; Javier Larrosa ; Martí Sánchez |
New Lower Bounds of Constraint Violations for Over-Constrained Problems / Jean-Charles Régin ; Thierry Petit ; Christian Bessüère ; Jean-François Puget |
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization / Rina Dechter ; Kalev Kask |
Solving Disjunctive Constraints for Interactive Graphical Applications / Kim Marriott ; Peter Moulder ; Peter J. Stuckey ; Alan Borning |
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint / Mats Carlsson |
Non-overlapping Constraints between Convex Polytopes / Qi Guo ; Sven Thiel |
Formal Models of Heavy-Tailed Behavior in Combinatorial Search / Hubie Chen ; Bart Selman |
The Phase Transition of the Linear Inequalities Problem / Alessandro Armando ; Felice Peccia ; Silvio Ranise |
In Search of a Phase Transition in the AC-Matching Problem / Phokion G. Kolaitis ; Thomas Raffill |
Specific Filtering Algorithms for Over-Constrained Problems / Christian Bessière |
Specializing Russian Doll Search |
A CLP Approach to the Protein Side-Chain Placement Problem / Martin T. Swain ; Graham J.L. Kemp |
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores / RolfBackofen ; Sebastian Will |
One Flip per Clock Cycle / Edgar Tan ; Roland Yap |
Solving Constraints over Floating-Point Numbers / Claude Michel ; Michel Rueher ; Yahia Lebbah |
Optimal Pruning in Parametric Differential Equations / Micha Janssen ; Pascal Van Hentenryck ; Yves Deville |
Interaction of Constraint Programming and Local Search for Optimisation Problems / Francisco Azevedo ; Pedro Barahona |
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency / Hachemi Bennaceur ; Mohamed-Salah Affane |
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem / Assef Chmeiss ; Lakhdar Saïs |
The Expressive Power of BinaryLinear Programming / Marco Cadoli |
Constraint Generation via Automated TheoryFormation / Simon Colton ; Ian Miguel |
The Traveling Tournament Problem Description and Benchmarks / Kelly Easton ; George Nemhauser ; Michael Trick |
Deriving Explanations and Implications for Constraint Satisfaction Problems / Chavalit Likitvivatanavong ; Richard J. Wallace |
Generating Tradeoffs for Interactive Constraint-Based Configuration / Barry O'Sullivan |
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells / Rafael M. Gasca ; Juan A. Ortega ; Miguel Toro |
Composition Operators for Constraint Propagation: An Application to Choco / Laurent Granvilliers ; Eric Monfroy |
Solving Boolean SatisfiabilityUsing Local Search Guided byUnit Clause Elimination / Edward A. Hirsch ; Arist Kojevnikov |
GAC on Conjunctions of Constraints / George Katsirelos ; Fahiem Bacchus |
Dual Models of Permutation Problems |
Boosting Local Search with Artificial Ants / Christine Solnon |
Fast Optimal Instruction Scheduling for Single-Issue Processors with ArbitraryLatencies / Peter van Beek ; Kent Wilken |
Evaluation of Search Heuristics for Embedded System Scheduling Problems / Cecilia Ekelin ; Jan Jonsson |
Interpreting SloppyStick Figures with Constraint-Based Subgraph Matching / Markus P.J. Fromherz ; James V. Mahoney |
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constrain Reasoning CommunityPoint of View / Gérard Verfaillie ; Michel Lemaître |
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation / Pragnesh Jay Modi ; Hyuckchul Jung ; Milind Tambe ; Wei-Min Shen ; Shriniwas Kulkarni |
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture / Juliette Mattioli ; Nicolas Museux ; J. Jourdan ; Pierre Savéant ; Simon de Givry |
iOpt: A Software Toolkit for Heuristic Search Methods / Christos Voudouris ; Raphael Dorne ; David Lesaint ; Anne Liret |
AbsCon: A Prototype to Solve CSPs with Abstraction / Sylvain Merchez ; Christophe Lecoutre ; Frederic Boussemart |
A Constraint Engine for Manufacturing Process Planning / József Váncza ; András Márkus |
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems / Amy M. Beckwith ; Berthe Y. Choueiry |
Automatic Generation of Implied Clauses for SAT / Lyndon Drake |
Verification of Infinite-State Systems by Specialization of CLP Programs / Fabio Fioravanti |
PartiallyOrdered Constraint Optimization Problems / Marco Gavanelli |
Translations for Comparing Soft Frameworks / Rosella Gennari |
Counting Satisfiable k-CNF Formulas / Mitchell A. Harris |
High-Level Modelling and Reformulation of Constraint Satisfaction Problems / Brahim Hnich |
Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation |
Aircraft Assignment Using Constraint Programming / Erik Kilborn |
Labelling Heuristics for CSP Application Domains / Zeynep Kiziltan |
Improving SAT Algorithms byUsing Search Pruning Techniques / Inês Lynce ; João Marques-Silva |
Optimum Symmetry Breaking in CSPs Using Group Theory / Iain McDonald |
Distributed Dynamic Backtracking / Arnold Maestre |
Constraint Programming for Distributed Resource Allocation |
Exploiting the CSP Structure byInterchangeability / Nicoleta Neagu |
Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems / Andrea Panati |
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers / Georg Ringwelski |
Building Negative Reduced Cost Paths Using Constraint Programming / Louis-Martin Rousseau ; Michel Gendreau |
An Incremental and Non-binaryCSP Solver: The Hyperpolyhedron Search Algorithm / Miguel A. Salido ; Federico Barber |
Partial Stable Generated Models of Generalized Logic Programs with Constraints / Sibylle Schwarz |
Heterogeneous Constraint Problems (An Outline of the Field of Work) / Frank Seelisch |
Comparing SAT Encodings for Model Checking / Daniel Sheridan |
Asynchronous Search for Numeric DisCSPs / Stefan &Scedilla;ab&abrave;u |
Temporal Concurrent Constraint Programming |
Author Index |
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin ; Mark Wallace |
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur ; S. Thorsteinsson |
Towards Inductive Constraint Solving / Slim Abdennadher ; Christophe Rigotti |