Compiling constraint satisfaction problems

Consistency restoriation and explanations in dynamic CSPs----application to configuration

Artificial Intelligence

Interchangeability in Soft CSPs

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming

Compiling CSPs into Tree-Driven Automata for Interactive Solving

Constraints

Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency

Discrete Event Dynamic Systems

Constraint solving for direct manipulation of features

Artificial Intelligence for Engineering Design, Analysis and Manufacturing

Directional Interchangeability for Enhancing CSP Solving

CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

A Refutation Approach to Neighborhood Interchangeability in CSPs

AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence

Domain transmutation in constraint satisfaction problems

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence

On the use of partially ordered decision graphs for knowledge compilation and quantified Boolean formulae

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1

Constrained decision diagrams

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1

Interchangeability in soft CSPs

ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming

Efficient recognition of acyclic clustered constraint satisfaction problems

CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints

Learning cluster-based structure to solve constraint satisfaction problems

Annals of Mathematics and Artificial Intelligence

Integrating CSP decomposition techniques and BDDs for compiling configuration problems

CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Interchangeability with thresholds and degradation factors for Soft CSPs

Annals of Mathematics and Artificial Intelligence

Automatic component abstraction for Model-Based Diagnosis on relational models

AI Communications