@misc{indiciaed0d8fd88b736,
  title = {Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets},
  author = {Panagiotis Lymperopoulos and Liping Liu},
  year = {2024},
  url = {https://arxiv.org/abs/2402.15524},
  note = {Source identifier: 2402.15524}
}