A framework for step-wise explaining how to solve constraint satisfaction problems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 7368415 (Why is no real title available?)
- A framework for step-wise explaining how to solve constraint satisfaction problems
- A fully automatic theorem prover with human-style output
- A mathematical introduction to logic.
- Abstraction for non-ground answer set programs
- Constraint propagation for first-order logic and inductive definitions
- Debugging unsatisfiable constraint models
- Expressive power and abstraction in Essence
- Handbook of constraint programming.
- On the complexity of model expansion
- Progress towards the Holy Grail
- The KB paradigm and its application to interactive configuration
Cited in
(9)- scientific article; zbMATH DE number 2084736 (Why is no real title available?)
- scientific article; zbMATH DE number 7368415 (Why is no real title available?)
- Questionable stepwise explanations for a robust additive preference model
- Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming
- Complexity of minimum-size arc-inconsistency explanations
- A framework for step-wise explaining how to solve constraint satisfaction problems
- Efficiently explaining CSPs with unsatisfiable subset optimization
- Modeling and generating user-centered contrastive explanations for the workforce scheduling and routing problem
- Identifying and exploiting problem structures using explanation-based constraint programming
This page was built for publication: A framework for step-wise explaining how to solve constraint satisfaction problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2238723)
