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

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

Author
Azevedo, Francisco. editor.

ISBN
9783540738176

Physical Description
VIII, 188 p. online resource.

Series
Lecture Notes in Computer Science, 4651

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.

Subject Term
Computer science.
 
Computer software.
 
Logic design.
 
Electronic data processing.
 
Artificial intelligence.
 
Artificial Intelligence (incl. Robotics).
 
Programming Languages, Compilers, Interpreters.
 
Logics and Meanings of Programs.
 
Algorithm Analysis and Problem Complexity.
 
Numeric Computing.
 
Mathematical Logic and Formal Languages.

Added Author
Azevedo, Francisco.
 
Barahona, Pedro.
 
Fages, François.
 
Rossi, Francesca.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/978-3-540-73817-6


LibraryMaterial TypeItem BarcodeShelf NumberStatus
IYTE LibraryE-Book512725-1001Q334 -342Online Springer