TY  - RPRT
TI  - Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It
AU  - Michal Garlík
PY  - 2020
UR  - https://arxiv.org/abs/2003.10230
ID  - 2003.10230
ER  -