| 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 |
図書
図書
