9. CP 2003:
Kinsale, Ireland Francesca Rossi (Ed.):
Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings.
Lecture Notes in Computer Science 2833 Springer 2003, ISBN 3-540-20202-1
Invited Papers
export record as
dblp key:
export record as
dblp key:
Tuomas Sandholm :
Automated Mechanism Design: A New Application Area for Search Algorithms.
19-36
export record as
dblp key:
Mark Wallace :
Languages versus Packages for Constraint Problem Solving.
37-52
export record as
dblp key:
Best Paper
export record as
dblp key:
Full Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hubie Chen :
Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.
199-213
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tassos Dimitriou :
A Wealth of SAT Distributions with Planted Assignments.
274-287
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Willem Jan van Hoeve :
A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem.
407-421
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael J. Maher :
A Synthesis of Constraint Satisfaction and Constraint Solving.
525-539
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Stefan Ratschan :
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.
615-633
export record as
dblp key:
Jean-Charles Régin :
Using Constraint Programming to Solve the Maximum Clique Problem.
634-648
export record as
dblp key:
export record as
dblp key:
T. K. Satish Kumar :
Incremental Computation of Resource-Envelopes in Producer-Consumer Models.
664-678
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Toby Walsh :
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.
724-738
export record as
dblp key:
Armin Wolf :
Pruning while Sweeping over Task Intervals.
739-753
export record as
dblp key:
export record as
dblp key:
Poster Papers
export record as
dblp key:
Nicos Angelopoulos :
clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming.
784-788
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David A. Cohen :
A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure.
807-811
export record as
dblp key:
export record as
dblp key:
Emilie Danna ,
Laurent Perron :
Structured vs. Unstructured Large Neighborhood Search: A Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs.
817-821
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Nuno Gomes ,
Zita A. Vale ,
Carlos Ramos :
Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.
847-852
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Larkin :
Semi-independent Partitioning: A Method for Bounding the Solution to COP's.
894-898
export record as
dblp key:
conf/cp/Leyton-BrownNAMS03
export record as
dblp key:
Olivier Lhomme :
An Efficient Filtering Algorithm for Disjunction of Constraints.
904-908
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Doctoral Abstracts
export record as
dblp key:
export record as
dblp key:
Muhammed Basharu :
FeReRA: A Multi-agent Approach to Constraint Satisfaction.
963
export record as
dblp key:
export record as
dblp key:
Julien Bidot :
Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty.
966
export record as
dblp key:
export record as
dblp key:
Ole Boysen :
Extending CLP with Metaheuristics.
968
export record as
dblp key:
Tom Carchrae :
Self Configuring Constraint Programming Systems.
969
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cp/Likitvivatanavong03
export record as
dblp key:
export record as
dblp key:
Toni Mancini :
Reformulation Techniques for a Class of Permutation Problems.
984
export record as
dblp key:
Iain McDonald :
NuSBDS: An Easy to Use Symmetry Breaking System.
985
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jordi Planes :
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.
991
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel Sheridan :
Dynamic Step Size Adjustment in Iterative Deepening Search.
996
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kristen Brent Venable :
alpha-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty.
999
export record as
dblp key:
Petr Vilím :
Computing Explanations for Global Scheduling Constraints.
1000
export record as
dblp key:
export record as
dblp key:
Peter Zoeteweij :
OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine.
1002