8. CP 2002:
Ithaca,
NY,
USA
Pascal Van Hentenryck (Ed.):
Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings.
Lecture Notes in Computer Science 2470 Springer 2002, ISBN 3-540-44120-4 BibTeX
@proceedings{DBLP:conf/cp/2002,
editor = {Pascal Van Hentenryck},
title = {Principles and Practice of Constraint Programming - CP 2002,
8th International Conference, CP 2002, Ithaca, NY, USA, September
9-13, 2002, Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2470},
year = {2002},
isbn = {3-540-44120-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Technical Papers
- Michela Milano, Willem Jan van Hoeve:
Reduced Cost-Based Ranking for Generating Promising Subproblems.
1-16
Electronic Edition (Springer LINK) BibTeX
- Gautam Appa, Ioannis Mourtos, Dimitris Magos:
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem.
17-32
Electronic Edition (Springer LINK) BibTeX
- Paula Amaral, Pedro Barahona:
On Optimal Correction of Inconsistent Linear Constraints.
33-46
Electronic Edition (Springer LINK) BibTeX
- Yannis Dimopoulos, Alfonso Gerevini:
Temporal Planning through Mixed Integer Programming: A Preliminary Report.
47-62
Electronic Edition (Springer LINK) BibTeX
- Nicolas Beldiceanu, Mats Carlsson:
A New Multi-resource cumulatives Constraint with Negative Heights.
63-79
Electronic Edition (Springer LINK) BibTeX
- Tallys H. Yunes:
On the Sum Constraint: Relaxation and Applications.
80-92
Electronic Edition (Springer LINK) BibTeX
- Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Global Constraints for Lexicographic Orderings.
93-108
Electronic Edition (Springer LINK) BibTeX
- Yahia Lebbah, Michel Rueher, Claude Michel:
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.
109-123
Electronic Edition (Springer LINK) BibTeX
- Vincent A. Cicirello, Stephen F. Smith:
Amplification of Search Performance through Randomization of Heuristics.
124-138
Electronic Edition (Springer LINK) BibTeX
- Nicola Muscettola:
Computing the Envelope for Stepwise-Constant Resource Allocations.
139-154
Electronic Edition (Springer LINK) BibTeX
- Olli Kamarainen, Hani El Sakkout:
Local Probing Applied to Scheduling.
155-171
Electronic Edition (Springer LINK) BibTeX
- Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez:
A Hybrid Approach for SAT.
172-184
Electronic Edition (Springer LINK) BibTeX
- Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais:
Recovering and Exploiting Structural Knowledge from CNF Formulas.
185-199
Electronic Edition (Springer LINK) BibTeX
- Lintao Zhang, Sharad Malik:
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.
200-215
Electronic Edition (Springer LINK) BibTeX
- Wei Wei, Bart Selman:
Accelerating Random Walks.
216-232
Electronic Edition (Springer LINK) BibTeX
- Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos:
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.
233-248
Electronic Edition (Springer LINK) BibTeX
- Francesca Rossi, Alessandro Sperduti, Kristen Brent Venable, Lina Khatib, Paul H. Morris, Robert A. Morris:
Learning and Solving Soft Temporal Constraints: An Experimental Study.
249-263
Electronic Edition (Springer LINK) BibTeX
- Pedro Meseguer, Martí Sánchez, Gérard Verfaillie:
Opportunistic Specialization in Russian Doll Search.
264-279
Electronic Edition (Springer LINK) BibTeX
- Thierry Petit, Jean-Charles Régin, Christian Bessière:
Range-Based Algorithm for Max-CSP.
280-294
Electronic Edition (Springer LINK) BibTeX
- David G. Mitchell:
Resolution Complexity of Random Constraints.
295-309
Electronic Edition (Springer LINK) BibTeX
- Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi:
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics.
310-326
Electronic Edition (Springer LINK) BibTeX
- Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper:
Determining the Number of Solutions to Binary CSP Instances.
327-340
Electronic Edition (Springer LINK) BibTeX
- Spiros Skiadopoulos, Manolis Koubarakis:
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions.
341-355
Electronic Edition (Springer LINK) BibTeX
- Boi Faltings, Santiago Macho-Gonzalez:
Open Constraint Satisfaction.
356-370
Electronic Edition (Springer LINK) BibTeX
- Lucas Bordeaux, Eric Monfroy:
Beyond NP: Arc-Consistency for Quantified Constraints.
371-386
Electronic Edition (Springer LINK) BibTeX
- Makoto Yokoo, Koutarou Suzuki, Katsutoshi Hirayama:
Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information.
387-401
Electronic Edition (Springer LINK) BibTeX
- Barbara M. Smith:
A Dual Graph Translation of a Problem in 'Life'.
402-414
Electronic Edition (Springer LINK) BibTeX
- Ian P. Gent, Warwick Harvey, Tom Kelsey:
Groups and Constraints: Symmetry Breaking during Search.
415-430
Electronic Edition (Springer LINK) BibTeX
- Iain McDonald, Barbara M. Smith:
Partial Symmetry Breaking.
431-445
Electronic Edition (Springer LINK) BibTeX
- Jean-Francois Puget:
Symmetry Breaking Revisited.
446-461
Electronic Edition (Springer LINK) BibTeX
- Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh:
Breaking Row and Column Symmetries in Matrix Models.
462-476
Electronic Edition (Springer LINK) BibTeX
- Nicolas Barnier, Pascal Brisset:
Solving the Kirkman's Schoolgirl Problem in a Few Seconds.
477-491
Electronic Edition (Springer LINK) BibTeX
- David Lesaint:
Inferring Constraint Types in Constraint Programming.
492-507
Electronic Edition (Springer LINK) BibTeX
- Brian C. Williams, Michel D. Ingham:
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.
508-524
Electronic Edition (Springer LINK) BibTeX
- Susan L. Epstein, Eugene C. Freuder, Richard J. Wallace, Anton Morozov, Bruce Samuels:
The Adaptive Constraint Engine.
525-542
Electronic Edition (Springer LINK) BibTeX
- Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin:
Indexical-Based Solver Learning.
541-555
Electronic Edition (Springer LINK) BibTeX
- Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham:
Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions.
556-572
Electronic Edition (Springer LINK) BibTeX
- Yongshao Ruan, Eric Horvitz, Henry A. Kautz:
Restart Policies with Dependence among Runs: A Dynamic Programming Approach.
573-586
Electronic Edition (Springer LINK) BibTeX
Innovative Applications
- Roman Barták:
Visopt ShopFloor: On the Edge of Planning and Scheduling.
587-602
Electronic Edition (Springer LINK) BibTeX
- Thierry Benoist, Etienne Gaudin, Benoît Rottembourg:
Constraint Programming Contribution to Benders Decomposition: A Case Study.
603-617
Electronic Edition (Springer LINK) BibTeX
- Marc Christie, Eric Languénou, Laurent Granvilliers:
Modeling Camera Control with Constrained Hypertubes.
618-632
Electronic Edition (Springer LINK) BibTeX
- Claude Le Pape, Laurent Perron, Jean-Charles Régin, Paul Shaw:
Robust and Parallel Solving of a Network Design Problem.
633-648
Electronic Edition (Springer LINK) BibTeX
- Muriel Lauvergne, Philippe David, Patrice Boizumault:
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.
649-663
Electronic Edition (Springer LINK) BibTeX
- Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes:
Communication and Computation in Distributed CSP Algorithms.
664-679
Electronic Edition (Springer LINK) BibTeX
Posters
- Stefan Ratschan:
Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints.
680-685
Electronic Edition (Springer LINK) BibTeX
- John N. Hooker, Hong Yan:
A Relaxation of the Cumulative Constraint.
686-690
Electronic Edition (Springer LINK) BibTeX
- Peter J. Stuckey, Lei Zheng:
Improving GSAT Using 2SAT.
691-695
Electronic Edition (Springer LINK) BibTeX
- Jakob Mauss, Frank Seelisch, Mugur M. Tatar:
A Relational Constraint Solver for Model-Based Engineering.
696-701
Electronic Edition (Springer LINK) BibTeX
- Abdallah Elkhyari, Christelle Guéret, Narendra Jussien:
Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems.
702-707
Electronic Edition (Springer LINK) BibTeX
- Andrew J. Parkes:
Scaling Properties of Pure Random Walk on Random 3-SAT.
708-713
Electronic Edition (Springer LINK) BibTeX
- Andrea Roli:
Criticality and Parallelism in Structured SAT Instances.
714-719
Electronic Edition (Springer LINK) BibTeX
- Hachemi Bennaceur, Chu Min Li:
Characterizing SAT Problems with the Row Convexity Property.
720-725
Electronic Edition (Springer LINK) BibTeX
- Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability in Soft CSPs.
726-731
Electronic Edition (Springer LINK) BibTeX
- Neil Yorke-Smith, Carmen Gervet:
On Constraint Problems with Incompleteor Erroneous Data.
732-737
Electronic Edition (Springer LINK) BibTeX
- Meinolf Sellmann, Warwick Harvey:
Heuristic Constraint Propagation.
738-743
Electronic Edition (Springer LINK) BibTeX
- Meinolf Sellmann:
An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.
744-749
Electronic Edition (Springer LINK) BibTeX
- Yat Chiu Law, Jimmy Ho-Man Lee:
Algebraic Properties of CSP Model Operators.
750-754
Electronic Edition (Springer LINK) BibTeX
- Marc R. C. van Dongen:
AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.
755-760
Electronic Edition (Springer LINK) BibTeX
Doctoral Program
Copyright © Sat May 16 23:03:42 2009
by Michael Ley (ley@uni-trier.de)
