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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540322528 
<br/><br/><label>Standard No.: </label>10.1007/b106890  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Compilers (Computer programs).<br/>Algorithms.<br/>Computer science.<br/>Machine theory.<br/>Numerical analysis.<br/>Artificial Intelligence.<br/>Compilers and Interpreters.<br/>Algorithms.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.<br/>Numerical Analysis.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3