Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / [electronic resource] :
edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi.
- 1st ed. 2005.
- X, 217 p. online resource.
- Lecture Notes in Artificial Intelligence, 3419 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 3419 .
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems.
9783540322528
10.1007/b106890 doi
Artificial intelligence.
Compilers (Computer programs).
Algorithms.
Computer science.
Machine theory.
Numerical analysis.
Artificial Intelligence.
Compilers and Interpreters.
Algorithms.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Numerical Analysis.
Q334-342 TA347.A78
006.3
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems.
9783540322528
10.1007/b106890 doi
Artificial intelligence.
Compilers (Computer programs).
Algorithms.
Computer science.
Machine theory.
Numerical analysis.
Artificial Intelligence.
Compilers and Interpreters.
Algorithms.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Numerical Analysis.
Q334-342 TA347.A78
006.3