1 option
Recent Advances in Constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / edited by Barry O'Sullivan.
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 ; 2627.
- Lecture Notes in Artificial Intelligence ; 2627
- Language:
- English
- Subjects (All):
- Computer industry.
- Software engineering.
- Artificial intelligence.
- Computer programming.
- Programming languages (Electronic computers).
- Algorithms.
- The Computer Industry.
- Software Engineering/Programming and Operating Systems.
- Artificial Intelligence.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Algorithm Analysis and Problem Complexity.
- Local Subjects:
- The Computer Industry.
- Software Engineering/Programming and Operating Systems.
- Artificial Intelligence.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Algorithm Analysis and Problem Complexity.
- Physical Description:
- 1 online resource (X, 210 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- Contents:
- Abstract Verification and Debugging of Constraint Logic Programs
- CGRASS: A System for Transforming Constraint Satisfaction Problems
- Interchangeability in Soft CSPs
- Towards Automated Reasoning on the Properties of Numerical Constraints
- Domain-Heuristics for Arc-Consistency Algorithms
- Computing Explanations and Implications in Preference-Based Configurators
- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems
- A Note on Redundant Rules in Rule-Based Constraint Programming
- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
- A Local Search Algorithm for Balanced Incomplete Block Designs
- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms
- POOC - A Platform for Object-Oriented Constraint Programming
- A Coordination-Based Framework for Distributed Constraint Solving
- Visopt ShopFloor: Going Beyond Traditional Scheduling.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-36607-2
- 9783540366072
- 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.