Recent Advances in Constraints - 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers

List of contents

Tutorial.- Hybrid Algorithms in Constraint Programming.- Technical Papers.- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.- A Constraint Model for State Transitions in Disjunctive Resources.- Reusing CSP Propagators for QCSPs.- Bipolar Preference Problems: Framework, Properties and Solving Techniques.- Distributed Forward Checking May Lie for Privacy.- Solving First-Order Constraints in the Theory of the Evaluated Trees.- Extracting Microstructure in Binary Constraint Networks.- Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.- Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.- Cost-Based Filtering for Stochastic Inventory Control.

Product details

• Assisted by: Francisco Azevedo (Editor), Pedro Barahona (Editor), Francois Fages (Editor), Francesca Rossi (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 27.07.2007
• EAN: 9783540738169
• ISBN: 978-3-540-73816-9
• No. of pages: 188
• Dimensions: 155 mm x 11 mm x 235 mm
• Weight: 310 g
• Illustrations: VIII, 188 p. With online files/update.
• Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithmen und Datenstrukturen, Algorithms, Artificial Intelligence, Theoretische Informatik, Compiler und Übersetzer, Numerische Mathematik, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Algorithms & data structures, Numerical analysis, Mathematical theory of computation, Computer programming / software engineering, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Numeric Computing, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters