Franklin

Recent Advances in Constraints [electronic resource] : 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 / edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi.

Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Format/Description:
Book
1 online resource (X, 217 pages)
Edition:
1st ed. 2005.
Series:
Computer Science (Springer-11645)
Lecture notes in computer science. Lecture notes in artificial intelligence 3419
Lecture Notes in Artificial Intelligence ; 3419
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Artificial intelligence.
Programming languages (Electronic computers).
Algorithms.
Computer logic.
Logic, Symbolic and mathematical.
Numerical analysis.
Local subjects:
Artificial Intelligence. (search)
Programming Languages, Compilers, Interpreters. (search)
Algorithm Analysis and Problem Complexity. (search)
Logics and Meanings of Programs. (search)
Mathematical Logic and Formal Languages. (search)
Numeric Computing. (search)
System Details:
text file PDF
Contents:
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.
Contributor:
Faltings, Boi, editor., Editor,
Petcu, Adrian, editor., Editor,
Fages, François, editor., Editor,
Rossi, F. (Francesca), editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-32252-8
9783540322528
Publisher Number:
10.1007/b106890 doi
Access Restriction:
Restricted for use by site license.