Recent Advances in Constraints 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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hnich, Brahim (Επιμελητής έκδοσης), Carlsson, Mats (Επιμελητής έκδοσης), Fages, François (Επιμελητής έκδοσης), Rossi, Francesca (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Σειρά: Lecture Notes in Computer Science, 3978
• Θέματα: 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.

Πίνακας περιεχομένων:

• 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.