TY  - RPRT
TI  - Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
AU  - Jaroslav Bendik
AU  - Ivana Cerna
AU  - Nikola Benes
PY  - 2018
UR  - https://arxiv.org/abs/1708.00400
ID  - 1708.00400
ER  -