A framework for step-wise explaining how to solve constraint satisfaction problems
From MaRDI portal
Publication:2238723
DOI10.1016/j.artint.2021.103550OpenAlexW3034243856MaRDI QIDQ2238723
Emilio Gamba, Bart Bogaerts, Tias Guns
Publication date: 2 November 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2021.103550
Related Items
Complexity of minimum-size arc-inconsistency explanations, A framework for step-wise explaining how to solve constraint satisfaction problems
Uses Software
Cites Work
- Expressive power and abstraction in Essence
- Progress towards the Holy Grail
- Debugging unsatisfiable constraint models
- A framework for step-wise explaining how to solve constraint satisfaction problems
- A fully automatic theorem prover with human-style output
- Constraint Propagation for First-Order Logic and Inductive Definitions
- The KB paradigm and its application to interactive configuration
- On the Complexity of Model Expansion
- Abstraction for non-ground answer set programs
- Unnamed Item
- Unnamed Item
- Unnamed Item