7. CP 2001:
Paphos,
Cyprus
Toby Walsh (Ed.):
Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings.
Lecture Notes in Computer Science 2239 Springer 2001, ISBN 3-540-42863-1 BibTeX
@proceedings{DBLP:conf/cp/2001,
editor = {Toby Walsh},
title = {Principles and Practice of Constraint Programming - CP 2001,
7th International Conference, CP 2001, Paphos, Cyprus, November
26 - December 1, 2001, Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2239},
year = {2001},
isbn = {3-540-42863-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Andrew Eremin, Mark Wallace:
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming.
1-15
Electronic Edition (Springer LINK) BibTeX
- Erlendur S. Thorsteinsson:
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming.
16-30
Electronic Edition (Springer LINK) BibTeX
- Slim Abdennadher, Christophe Rigotti:
Towards Inductive Constraint Solving.
31-45
Electronic Edition (Springer LINK) BibTeX
- Susan L. Epstein, Eugene C. Freuder:
Collaborative Learning for Constraint Solving.
46-60
Electronic Edition (Springer LINK) BibTeX
- Thierry Benoist, Eric Bourreau, Yves Caseau, Benoît Rottembourg:
Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines.
61-76
Electronic Edition (Springer LINK) BibTeX
- Filippo Focacci, Michela Milano:
Global Cut Framework for Removing Symmetries.
77-92
Electronic Edition (Springer LINK) BibTeX
- Torsten Fahle, Stefan Schamberger, Meinolf Sellmann:
Symmetry Breaking.
93-107
Electronic Edition (Springer LINK) BibTeX
- Olivier Dubois, Gilles Dequen:
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10.
108-120
Electronic Edition (Springer LINK) BibTeX
- Alfonso San Miguel Aguirre, Moshe Y. Vardi:
Random 3-SAT and BDDs: The Plot Thickens Further.
121-136
Electronic Edition (Springer LINK) BibTeX
- Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes:
Capturing Structure with Satisfiability.
137-152
Electronic Edition (Springer LINK) BibTeX
- Weixiong Zhang:
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT.
153-167
Electronic Edition (Springer LINK) BibTeX
- Nikos Mamoulis, Kostas Stergiou:
Solving Non-binary CSPs Using the Hidden Variable Encoding.
168-182
Electronic Edition (Springer LINK) BibTeX
- Gilles Pesant:
A Filtering Algorithm for the Stretch Constraint.
183-195
Electronic Edition (Springer LINK) BibTeX
- Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun:
Network Flow Problems in Constraint Programming.
196-210
Electronic Edition (Springer LINK) BibTeX
- Nicolas Beldiceanu:
Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family.
211-224
Electronic Edition (Springer LINK) BibTeX
- Ian P. Gent, Robert W. Irving, David Manlove, Patrick Prosser, Barbara M. Smith:
A Constraint Programming Approach to the Stable Marriage Problem.
225-239
Electronic Edition (Springer LINK) BibTeX
- Chiu Wo Choi, Martin Henz, Ka Boon Ng:
Components for State Restoration in Tree Search.
240-255
Electronic Edition (Springer LINK) BibTeX
- Armin Wolf:
Adaptive Constraint Handling with CHR in Java.
256-270
Electronic Edition (Springer LINK) BibTeX
- Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings:
Consistency Maintenance for ABT.
271-285
Electronic Edition (Springer LINK) BibTeX
- Giorgio Delzanno, Tevfik Bultan:
Constraint-Based Verification of Client-Server Protocols.
286-301
Electronic Edition (Springer LINK) BibTeX
- Catuscia Palamidessi, Frank D. Valencia:
A Temporal Concurrent Constraint Programming Calculus.
302-316
Electronic Edition (Springer LINK) BibTeX
- Pedro Meseguer, Javier Larrosa, Martí Sánchez:
Lower Bounds for Non-binary Constraint Optimization Problems.
317-331
Electronic Edition (Springer LINK) BibTeX
- Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget:
New Lower Bounds of Constraint Violations for Over-Constrained Problems.
332-345
Electronic Edition (Springer LINK) BibTeX
- Rina Dechter, Kalev Kask, Javier Larrosa:
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization.
346-360
Electronic Edition (Springer LINK) BibTeX
- Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning:
Solving Disjunctive Constraints for Interactive Graphical Applications.
361-376
Electronic Edition (Springer LINK) BibTeX
- Nicolas Beldiceanu, Mats Carlsson:
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint.
377-391
Electronic Edition (Springer LINK) BibTeX
- Nicolas Beldiceanu, Qi Guo, Sven Thiel:
Non-overlapping Constraints between Convex Polytopes.
392-407
Electronic Edition (Springer LINK) BibTeX
- Hubie Chen, Carla P. Gomes, Bart Selman:
Formal Models of Heavy-Tailed Behavior in Combinatorial Search.
408-421
Electronic Edition (Springer LINK) BibTeX
- Alessandro Armando, Felice Peccia, Silvio Ranise:
The Phase Transition of the Linear Inequalities Problem.
422-432
Electronic Edition (Springer LINK) BibTeX
- Phokion G. Kolaitis, Thomas Raffill:
In Search of a Phase Transition in the AC-Matching Problem.
433-450
Electronic Edition (Springer LINK) BibTeX
- Thierry Petit, Jean-Charles Régin, Christian Bessière:
Specific Filtering Algorithms for Over-Constrained Problems.
451-463
Electronic Edition (Springer LINK) BibTeX
- Pedro Meseguer, Martí Sánchez:
Specializing Russian Doll Search.
464-478
Electronic Edition (Springer LINK) BibTeX
- Martin T. Swain, Graham J. L. Kemp:
A CLP Approach to the Protein Side-Chain Placement Problem.
479-493
Electronic Edition (Springer LINK) BibTeX
- Rolf Backofen, Sebastian Will:
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores.
494-508
Electronic Edition (Springer LINK) BibTeX
- Martin Henz, Edgar Tan, Roland H. C. Yap:
One Flip per Clock Cycle.
509-523
Electronic Edition (Springer LINK) BibTeX
- Claude Michel, Michel Rueher, Yahia Lebbah:
Solving Constraints over Floating-Point Numbers.
524-538
Electronic Edition (Springer LINK) BibTeX
- Micha Janssen, Pascal Van Hentenryck, Yves Deville:
Optimal Pruning in Parametric Differential Equations.
539-553
Electronic Edition (Springer LINK) BibTeX
- Francisco Azevedo, Pedro Barahona:
Interaction of Constraint Programming and Local Search for Optimisation Problems.
554-559
Electronic Edition (Springer LINK) BibTeX
- Hachemi Bennaceur, Mohamed-Salah Affane:
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency.
560-564
Electronic Edition (Springer LINK) BibTeX
- Christian Bessière, Assef Chmeiss, Lakhdar Sais:
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem.
565-569
Electronic Edition (Springer LINK) BibTeX
- Marco Cadoli:
The Expressive Power of Binary Linear Programming.
570-574
Electronic Edition (Springer LINK) BibTeX
- Simon Colton, Ian Miguel:
Constraint Generation via Automated Theory Formation.
575-579
Electronic Edition (Springer LINK) BibTeX
- Kelly Easton, George L. Nemhauser, Michael A. Trick:
The Traveling Tournament Problem Description and Benchmarks.
580-584
Electronic Edition (Springer LINK) BibTeX
- Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace:
Deriving Explanations and Implications for Constraint Satisfaction Problems.
585-589
Electronic Edition (Springer LINK) BibTeX
- Eugene C. Freuder, Barry O'Sullivan:
Generating Tradeoffs for Interactive Constraint-Based Configuration.
590-594
Electronic Edition (Springer LINK) BibTeX
- Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro:
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells.
595-599
Electronic Edition (Springer LINK) BibTeX
- Laurent Granvilliers, Eric Monfroy:
Composition Operators for Constraint Propagation: An Application to Choco.
600-604
Electronic Edition (Springer LINK) BibTeX
- Edward A. Hirsch, Arist Kojevnikov:
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination.
605-609
Electronic Edition (Springer LINK) BibTeX
- George Katsirelos, Fahiem Bacchus:
GAC on Conjunctions of Constraints.
610-614
Electronic Edition (Springer LINK) BibTeX
- Barbara M. Smith:
Dual Models of Permutation Problems.
615-619
Electronic Edition (Springer LINK) BibTeX
- Christine Solnon:
Boosting Local Search with Artificial Ants.
620-624
Electronic Edition (Springer LINK) BibTeX
- Peter van Beek, Kent D. Wilken:
Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies.
625-639
Electronic Edition (Springer LINK) BibTeX
- Cecilia Ekelin, Jan Jonsson:
Evaluation of Search Heuristics for Embedded System Scheduling Problems.
640-654
Electronic Edition (Springer LINK) BibTeX
- Markus P. J. Fromherz, James V. Mahoney:
Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching.
655-669
Electronic Edition (Springer LINK) BibTeX
- Gérard Verfaillie, Michel Lemaître:
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View.
670-684
Electronic Edition (Springer LINK) BibTeX
- Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni:
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation.
685-700
Electronic Edition (Springer LINK) BibTeX
- Juliette Mattioli, Nicolas Museux, Jean Jourdan, Pierre Savéant, Simon de Givry:
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture.
701-715
Electronic Edition (Springer LINK) BibTeX
- Christos Voudouris, Raphaël Dorne, David Lesaint, Anne Liret:
iOpt: A Software Toolkit for Heuristic Search Methods.
716-719
Electronic Edition (Springer LINK) BibTeX
- Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart:
AbsCon: A Prototype to Solve CSPs with Abstraction.
730-744
Electronic Edition (Springer LINK) BibTeX
- József Váncza, András Márkus:
A Constraint Engine for Manufacturing Process Planning.
745-759
Electronic Edition (Springer LINK) BibTeX
- Amy M. Beckwith, Berthe Y. Choueiry:
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems.
760
Electronic Edition (Springer LINK) BibTeX
- Lyndon Drake:
Automatic Generation of Implied Clauses for SAT.
761
Electronic Edition (Springer LINK) BibTeX
- Fabio Fioravanti:
Verification of Infinite-State Systems by Specialization of CLP Programs.
762
Electronic Edition (Springer LINK) BibTeX
- Marco Gavanelli:
Partially Ordered Constraint Optimization Problems.
763
Electronic Edition (Springer LINK) BibTeX
- Rosella Gennari:
Translations for Comparing Soft Frameworks.
764
Electronic Edition (Springer LINK) BibTeX
- Mitchell A. Harris:
Counting Satisfiable k-CNF Formulas.
765
Electronic Edition (Springer LINK) BibTeX
- Brahim Hnich:
High-Level Modelling and Reformulation of Constraint Satisfaction Problems.
766
Electronic Edition (Springer LINK) BibTeX
- Hyuckchul Jung:
Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation.
767
Electronic Edition (Springer LINK) BibTeX
- Erik Kilborn:
Aircraft Assignment Using Constraint Programming.
768
Electronic Edition (Springer LINK) BibTeX
- Zeynep Kiziltan:
Labelling Heuristics for CSP Application Domains.
769
Electronic Edition (Springer LINK) BibTeX
- Inês Lynce, João P. Marques Silva:
Improving SAT Algorithms by Using Search Pruning Techniques.
770
Electronic Edition (Springer LINK) BibTeX
- Iain McDonald:
Optimum Symmetry Breaking in CSPs Using Group Theory.
771
Electronic Edition (Springer LINK) BibTeX
- Christian Bessière, Arnold Maestre, Pedro Meseguer:
Distributed Dynamic Backtracking.
772
Electronic Edition (Springer LINK) BibTeX
- Pragnesh Jay Modi:
Constraint Programming for Distributed Resource Allocation.
773
Electronic Edition (Springer LINK) BibTeX
- Nicoleta Neagu:
Exploiting the CSP Structure by Interchangeability.
774
Electronic Edition (Springer LINK) BibTeX
- Andrea Panati:
Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems.
776
Electronic Edition (Springer LINK) BibTeX
- Georg Ringwelski:
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers.
777
Electronic Edition (Springer LINK) BibTeX
- Louis-Martin Rousseau, Gilles Pesant, Michel Gendreau:
Building Negative Reduced Cost Paths Using Constraint Programming.
778
Electronic Edition (Springer LINK) BibTeX
- Miguel A. Salido, Federico Barber:
An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.
779
Electronic Edition (Springer LINK) BibTeX
- Sibylle Schwarz:
Partial Stable Generated Models of Generalized Logic Programs with Constraints.
781
Electronic Edition (Springer LINK) BibTeX
- Frank Seelisch:
Heterogeneous Constraint Problems.
783
Electronic Edition (Springer LINK) BibTeX
- Daniel Sheridan:
Comparing SAT Encodings for Model Checking.
784
Electronic Edition (Springer LINK) BibTeX
- Marius-Calin Silaghi, Stefan Sabau, Djamila Sam-Haroud, Boi Faltings:
Asynchronous Search for Numeric DisCSPs.
785
Electronic Edition (Springer LINK) BibTeX
- Frank D. Valencia:
Temporal Concurrent Constraint Programming.
786
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:03:42 2009
by Michael Ley (ley@uni-trier.de)
