FEEDBACK Smiley face
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. - X, 210 p. online resource. - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 2627 0302-9743 ; . - Lecture Notes in Computer Science, 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.


10.1007/3-540-36607-5 doi

Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Artificial intelligence.
Computer industry.
Computer Science.
The Computer Industry.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.



© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: