Panagiotis Lymperopoulos, Liping Liu 0001. Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets. In Sanjoy Dasgupta, Stephan Mandt, Yingzhen Li, editors, International Conference on Artificial Intelligence and Statistics, 2-4 May 2024, Palau de Congressos, Valencia, Spain. Volume 238 of Proceedings of Machine Learning Research, pages 2647-2655, PMLR, 2024. [doi]
Abstract is missing.