Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets
Published in International Conference on Artificial Intelligence and Statistics, 2024
Recommended citation: Lymperopoulos, P., & Liu, L. (2024). Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets. International Conference on Artificial Intelligence and Statistics, 2647-2655. https://proceedings.mlr.press/v130/lymperopoulos21a.html
We propose a novel approach to enumerate minimal unsatisfiable subsets by pruning the search space using graph-based techniques.
Recommended citation: Lymperopoulos, P., & Liu, L. (2024). Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets. International Conference on Artificial Intelligence and Statistics, 2647-2655.