research
∙
03/20/2020
Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It
We show that for every integer k ≥ 2, the Res(k) propositional proof sys...
share
research
∙
05/29/2019
