Consistency restoration and explanations in dynamic CSPs—Application to configuration
- 1 February 2002
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 135 (1-2) , 199-234
- https://doi.org/10.1016/s0004-3702(01)00162-x
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Compiling constraint satisfaction problemsArtificial Intelligence, 1999
- Product configuration frameworks-a surveyIEEE Intelligent Systems and their Applications, 1998
- Structure-driven algorithms for truth maintenanceArtificial Intelligence, 1996
- Knowledge compilation and theory approximationJournal of the ACM, 1996
- The complexity of logic-based abductionJournal of the ACM, 1995
- Probabilistic Horn abduction and Bayesian networksArtificial Intelligence, 1993
- Interpretation as abductionArtificial Intelligence, 1993
- Tree clustering for constraint networksArtificial Intelligence, 1989
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- An assumption-based TMSArtificial Intelligence, 1986