TY  - RPRT
TI  - On Davis-Putnam reductions for minimally unsatisfiable clause-sets
AU  - Oliver Kullmann
AU  - Xishun Zhao
PY  - 2012
DO  - 10.1007/978-3-642-31612-8_21 10.1016/j.tcs.2013.04.020
UR  - https://arxiv.org/abs/1202.2600
ID  - 1202.2600
ER  -