1 option
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 / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 4651.
- Lecture Notes in Artificial Intelligence ; 4651
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Programming languages (Electronic computers).
- Computer logic.
- Algorithms.
- Numerical analysis.
- Logic, Symbolic and mathematical.
- Artificial Intelligence.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Algorithm Analysis and Problem Complexity.
- Numeric Computing.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Artificial Intelligence.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Algorithm Analysis and Problem Complexity.
- Numeric Computing.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (VIII, 188 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-73817-6
- 9783540738176
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.