TY  - RPRT
TI  - Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
AU  - Florian Lonsing
AU  - Uwe Egly
PY  - 2015
DO  - 10.1007/978-3-319-24318-4_14
UR  - https://arxiv.org/abs/1502.02484
ID  - 1502.02484
ER  -