Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers /
Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / [electronic resource] :
edited by Barry O'Sullivan.
- 1st ed. 2003.
- X, 210 p. online resource.
- Lecture Notes in Artificial Intelligence, 2627 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 2627 .
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.
9783540366072
10.1007/3-540-36607-5 doi
Computer industry.
Software engineering.
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Algorithms.
The Computer Industry.
Software Engineering.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Algorithms.
HD9696.2-9696.82
338.47004
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.
9783540366072
10.1007/3-540-36607-5 doi
Computer industry.
Software engineering.
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Algorithms.
The Computer Industry.
Software Engineering.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Algorithms.
HD9696.2-9696.82
338.47004