research
∙
05/26/2019
Regular resolution for CNF of bounded incidence treewidth with few long clauses
We demonstrate that Regular Resolution is FPT for two restricted familie...
research
∙
08/25/2017