A formal proof and simple explanation of the QuickXplain algorithm
© The Author(s) 2022.
| Publié dans: | Artificial intelligence review. - 1998. - 55(2022), 8 vom: 15., Seite 6185-6206 |
|---|---|
| Auteur principal: | |
| Format: | Article en ligne |
| Langue: | English |
| Publié: |
2022
|
| Accès à la collection: | Artificial intelligence review |
| Sujets: | Journal Article Algorithm Computation of Justifications Conflict Computation Constraint Satisfaction Problem (CSP) Correctness Proof Find Irreducible Subset with Monotone Property Minimal Correction Subset Minimal Set Subject to a Monotone Predicate (MSMP) Minimal Unsatisfiable Subset plus... |
| Accès en ligne |
Volltext |