Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / edited by Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi.
Series: Lecture Notes in Computer Science ; 3978Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: VIII, 179 p. online resourceContent type:- text
- computer
- online resource
- 9783540342168
- Computer science
- Software engineering
- Programming languages (Electronic computers)
- Algorithms
- Computer logic
- Artificial intelligence
- Computer industry
- Computer Science
- The Computer Industry
- Artificial Intelligence (incl. Robotics)
- Software Engineering/Programming and Operating Systems
- Programming Languages, Compilers, Interpreters
- Logics and Meanings of Programs
- Algorithm Analysis and Problem Complexity
- 338.47004 23
- HD9696.2-9696.82
eBooks
Global Constraints -- The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables -- Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains -- Among, Common and Disjoint Constraints -- Search and Heuristics -- Partitioning Based Algorithms for Some Colouring Problems -- A CSP Search Algorithm with Reduced Branching Factor -- Analysis of Heuristic Synergies -- Complexity Analysis of Heuristic CSP Search Algorithms -- Language and Implementation Issues -- A Type System for CHR -- Views and Iterators for Generic Constraint Implementations -- Modeling -- A Hybrid Benders’ Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse -- The Challenge of Exploiting Weak Symmetries -- On Generators of Random Quasigroup Problems.