Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Ludmila Glinskih, Dmitry Itsykson. On Tseitin Formulas, Read-Once Branching Programs and Treewidth. Theory Comput. Syst., 65(3):613-633, 2021. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: On Tseitin formulas, read-once branching programs and treewidthLudmila Glinskih, Dmitry Itsykson. eccc, 26:20, 2019. [doi] On Tseitin Formulas, Read-Once Branching Programs and TreewidthLudmila Glinskih, Dmitry Itsykson. csr 2019: 143-155 [doi] Satisfiable Tseitin Formulas Are Hard for Nondeterministic Read-Once Branching ProgramsLudmila Glinskih, Dmitry Itsykson. mfcs 2017: [doi]
The following publications are possibly variants of this publication: