cp explanations updated doc
@@ -6,18 +6,26 @@ import numpy as np
Weighted unsatisfiable cores from given weighted unsatisfiable formula
-Example Application of weighted unsatisfiable cores (cost-Optimal unsatisfiable subsets) for explaining solutions of constraint satisfaction problems. [1, 2, 3]
+Example Application of weighted unsatisfiable cores (cost-Optimal
+unsatisfiable subsets) for explaining solutions of constraint satisfaction
+problems. [1, 2, 3]
Intuition:
-Uses the implicit hitting set duality between Minimum Correction Subsets (MCSes) and Minimum Unsatisfiable Subsets (MUSes) for computing Weighted Unsatisfiable subsets (cores).
+Uses the implicit hitting set duality between Minimum Correction Subsets (MCSes)
+and Minimum Unsatisfiable Subsets (MUSes) for computing Weighted Unsatisfiable
+subsets (cores).
Iteratively look for a cost-minimal hitting set on the computed MCSes so far.
-- If the hitting set is SAT, it is grown to a satisfiable subset and the complement is added to the collection of MCSes.
-- If the hitting set is UNSAT, the computed hitting set is a Weighted (cost-Optimal) Unsatisfiable Subset.
+- If the hitting set is SAT, it is grown to a satisfiable subset and
+ the complement is added to the collection of MCSes.
+- If the hitting set is UNSAT, the computed hitting set is a
+ Weighted (cost-Optimal) Unsatisfiable Subset.
References:
- [1] Gamba, E., Bogaerts, B., & Guns, T. (2021). Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
- In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Pages 1381-1388. https://doi.org/10.24963/ijcai.2021/191
+ [1] Gamba, E., Bogaerts, B., & Guns, T. (2021). Efficiently Explaining CSPs
+ with Unsatisfiable Subset Optimization. In Proceedings of the Thirtieth
+ International Joint Conference on Artificial Intelligence. Pages 1381-1388.
+ https://doi.org/10.24963/ijcai.2021/191
[2] Bogaerts, B., Gamba, E., Claes, J., & Guns, T. (2020). Step-wise explanations
of constraint satisfaction problems. In ECAI 2020-24th European Conference on
