On Tseitin Formulas, Read-Once Branching Programs and Treewidth
Keyword(s):
2002 ◽
Vol 178
(1)
◽
pp. 263-278
◽
2003 ◽
Vol 86
(3)
◽
pp. 143-148
◽
1987 ◽
Vol 35
(2)
◽
pp. 153-162
◽