6. CP 2000:
Singapore
Rina Dechter (Ed.):
Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings.
Lecture Notes in Computer Science 1894 Springer 2000, ISBN 3-540-41053-8 BibTeX
@proceedings{DBLP:conf/cp/2000,
editor = {Rina Dechter},
title = {Principles and Practice of Constraint Programming - CP 2000,
6th International Conference, Singapore, September 18-21, 2000,
Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1894},
year = {2000},
isbn = {3-540-41053-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Regular Papers
- Slim Abdennadher, Christophe Rigotti:
Automatic Generation of Propagation Rules for Finite Domains.
18-34
Electronic Edition (Springer LINK) BibTeX
- Fahiem Bacchus:
Extending Forward Checking.
35-51
Electronic Edition (Springer LINK) BibTeX
- Nicolas Beldiceanu:
Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type.
52-66
Electronic Edition (Springer LINK) BibTeX
- Frédéric Benhamou, Frédéric Goualard:
Universally Quantified Interval Constraints.
67-82
Electronic Edition (Springer LINK) BibTeX
- Stefano Bistarelli, Rosella Gennari, Francesca Rossi:
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
83-97
Electronic Edition (Springer LINK) BibTeX
- Alexander Brodsky, Csilla Farkas, Duminda Wijesekera, Xiaoyang Sean Wang:
Constraints, Inference Channels and Secure Databases.
98-113
Electronic Edition (Springer LINK) BibTeX
- Mathias Broxvall, Peter Jonsson, Jochen Renz:
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints.
114-127
Electronic Edition (Springer LINK) BibTeX
- Jean Carrive, Pierre Roy, François Pachet, Rémi Ronfard:
A Language for Audiovisual Template Specification and Recognition.
128-142
Electronic Edition (Springer LINK) BibTeX
- Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi:
Random 3-SAT: The Plot Thickens.
143-159
Electronic Edition (Springer LINK) BibTeX
- David A. Cohen, Peter Jeavons, Richard Gault:
New Tractable Classes from Old.
160-171
Electronic Edition (Springer LINK) BibTeX
- Alain Colmerauer, Thi-Bich-Hanh Dao:
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.
172-186
Electronic Edition (Springer LINK) BibTeX
- Filippo Focacci, Andrea Lodi, Michela Milano:
Cutting Planes in Constraint Programming: A Hybrid Approach.
187-201
Electronic Edition (Springer LINK) BibTeX
- Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer:
A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
202-217
Electronic Edition (Springer LINK) BibTeX
- Hiroshi Hosobe:
A Scalable Linear Constraint Solver for User Interface Construction.
218-232
Electronic Edition (Springer LINK) BibTeX
- Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher:
A Constraint Programming Approach for Solving Rigid Geometric Systems.
233-248
Electronic Edition (Springer LINK) BibTeX
- Narendra Jussien, Romuald Debruyne, Patrice Boizumault:
Maintaining Arc-Consistency within Dynamic Backtracking.
249-261
Electronic Edition (Springer LINK) BibTeX
- Kalev Kask:
New Search Heuristics for Max-CSP.
262-277
Electronic Edition (Springer LINK) BibTeX
- Bhaskar Krishnamachari, Xi Xie, Bart Selman, Stephen B. Wicker:
Analysis of Random Noise and Random Walk Algorithms.
278-290
Electronic Edition (Springer LINK) BibTeX
- Javier Larrosa:
Boosting Search with Variable Elimination.
291-305
Electronic Edition (Springer LINK) BibTeX
- Kurt Mehlhorn, Sven Thiel:
Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint.
306-319
Electronic Edition (Springer LINK) BibTeX
- Tobias Müller:
Practical Investigation of Constraints with Graph Views.
320-336
Electronic Edition (Springer LINK) BibTeX
- Steven David Prestwich:
A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.
337-352
Electronic Edition (Springer LINK) BibTeX
- Patrick Prosser, Kostas Stergiou, Toby Walsh:
Singleton Consistencies.
353-368
Electronic Edition (Springer LINK) BibTeX
- Philippe Refalo:
Linear Formulation of Constraint Programming Models and Hybrid Solvers.
369-383
Electronic Edition (Springer LINK) BibTeX
- Jean-Charles Régin, Michel Rueher:
A Global Constraint Combining a Sum Constraint and Difference Constraints.
384-395
Electronic Edition (Springer LINK) BibTeX
- Peter Z. Revesz, Mengchu Cai:
Efficient Querying of Periodic Spatiotemporal Objects.
396-410
Electronic Edition (Springer LINK) BibTeX
- Thomas Schiex:
Arc Consistency for Soft Constraints.
411-424
Electronic Edition (Springer LINK) BibTeX
- Benjamin W. Wah, Yixin Chen:
Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization.
425-440
Electronic Edition (Springer LINK) BibTeX
- Toby Walsh:
SAT v CSP.
441-456
Electronic Edition (Springer LINK) BibTeX
- Hui Wu, Joxan Jaffar, Roland H. C. Yap:
Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.
457-469
Electronic Edition (Springer LINK) BibTeX
- Yuanlin Zhang, Roland H. C. Yap:
Arc Consistency on n-ary Monotonic and Linear Constraints.
470-483
Electronic Edition (Springer LINK) BibTeX
Poster Papers
- Ola Angelsmark, Peter Jonsson:
Some Observations on Durations, Scheduling and Allen's Algebra.
484-488
Electronic Edition (Springer LINK) BibTeX
- Luís Baptista, João P. Marques Silva:
Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability.
489-494
Electronic Edition (Springer LINK) BibTeX
- Renato Bruni, Antonio Sassano:
Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances.
495-499
Electronic Edition (Springer LINK) BibTeX
- David W. Fowler, Kenneth N. Brown:
Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes.
500-504
Electronic Edition (Springer LINK) BibTeX
- Laurent Granvilliers, Eric Monfroy:
Constraint Propagation: Between Abstract Models and ad hoc Strategies.
505-509
Electronic Edition (Springer LINK) BibTeX
- Markus Hannebauer:
How to Model and Verify Concurrent Algorithms for Distributed CSPs.
510-514
Electronic Edition (Springer LINK) BibTeX
- Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara:
The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results.
515-519
Electronic Edition (Springer LINK) BibTeX
- Petra Hofstedt:
Cooperating Constraint Solvers.
520-524
Electronic Edition (Springer LINK) BibTeX
- Michael C. Horsch, William S. Havens:
An Empirical Study of Probabilistic Arc Consistency.
525-530
Electronic Edition (Springer LINK) BibTeX
- Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton:
On Dual Encodings for Non-binary Constraint Satisfaction Problems.
531-536
Electronic Edition (Springer LINK) BibTeX
- João P. Marques Silva:
Algebraic Simplification Techniques for Propositional Satisfiability.
537-542
Electronic Edition (Springer LINK) BibTeX
- Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget:
An Original Constraint Based Approach for Solving over Constrained Problems.
543-548
Electronic Edition (Springer LINK) BibTeX
- Yuko Sakurai, Makoto Yokoo, Koji Kamei:
An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions.
549-553
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:03:42 2009
by Michael Ley (ley@uni-trier.de)