Limit search to available items
Book Cover
E-book
Author Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2004 : Lausanne, Switzerland)

Title 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 / Boi Faltings [and others] (eds.)
Published Berlin : Springer, ©2005

Copies

Description 1 online resource (x, 215 pages) : illustrations
Series Lecture notes in computer science ; 3419. Lecture notes in artificial intelligence
Lecture notes in computer science ; 3419.
Lecture notes in computer science. Lecture notes in artificial intelligence
Contents GCC-like restrictions on the same constraint / Nicolas Beldiceanu, Irit Katriel, and Sven Thiel -- A note on bilattices and open constraint programming / Arnaud Lallouet -- Pruning by equally constrained variables / Igor Razgon and Amnon Meisels -- Trying again to fail-first / J. Christopher Beck, Patrick Prosser, and Richard J. Wallace -- Characterization of a new restart strategy for randomized backtrack search / Venkata Praveen Guddeti and Berthe Y. Choueiry -- Dynamic distributed backjumping / Viet Nguyen, Djamila Sam-Haroud, and Boi Faltings -- A value ordering heuristic for local search in distributed resource allocation / Adrian Petcu and Boi Faltings -- Automatically exploiting symmetries in constraint programming / Arathi Ramani and Igor L. Markov -- New structural ecomposition techniques for constraint satisfaction problems / Yaling Zheng and Berthe Y. Choueiry -- Algorithms for the maximum hamming distance problem / Ola Angelsmark and Johan Thapper -- A system prototype for solving multi-granularity temporal CSP / Claudio Bettini, Sergio Mascetti, and Vincenzo Pupillo -- Computing equilibria using interval constraints / Lucas Bordeaux and Brice Pajot -- Constraint-based approaches to the covering test problem / Brahim Hnich, Steven Prestwich, and Evgeny Selensky -- Super solutions for combinatorial auctions / Alan Holland and Barry O'Sullivan -- Better propagation for non-preemptive single-resource constraint problems / Armin Wolf
Analysis CSCLP
Notes "(CSCLP 2004) held ... at the Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland."--Preface
Bibliography Includes bibliographical references and index
Notes Print version record
In OhioLINK electronic book center
SpringerLink
Subject Constraint programming (Computer science) -- Congresses
Logic programming -- Congresses
COMPUTERS -- Programming -- Open Source.
COMPUTERS -- Software Development & Engineering -- Tools.
COMPUTERS -- Software Development & Engineering -- General.
Informatique.
Constraint programming (Computer science)
Logic programming.
Contrainte (Intelligence artificielle)
Programmation par contraintes.
Résolution de contraintes.
Constraint-Programmierung -- Kongress -- Lausanne <2004>.
Constraint <Künstliche Intelligenz> -- Kongress -- Lausanne <2004>.
Constraint-Erfüllung -- Kongress -- Lausanne <2004>.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Kongress.
Form Electronic book
Author Faltings, Boi.
LINK (Online service)
ISBN 9783540322528
3540322523
3540251766
9783540251767
Other Titles Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming
CSCLP 2004