---
bibliography:
- 'references.bib'
---

Introduction {#sec:intro}
============

Preliminaries {#sec:prelim}
=============

Unsatisfiability-based Algorithm {#sec:unsat}
================================

Hitting Set-based Algorithm {#sec:hitting-set}
===========================

Experimental Results {#sec:results}
====================

Conclusions {#sec:conc}
===========

{'source': 'arXiv_out/2204'}