Crossmark

On Tseitin Formulas, Read-Once Branching Programs and Treewidth

Crossref DOI link: https://doi.org/10.1007/s00224-020-10007-8

Published Online: 2020-10-09

Published Print: 2021-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Glinskih, Ludmila

Itsykson, Dmitry https://orcid.org/0000-0003-2680-4800
Funding

Funding for this research was provided by:

Russian Science Foundation (16-11-1012)
License Information

Text and Data Mining valid from 2020-10-09

Version of Record valid from 2020-10-09
More Information

Article History

First Online: 9 October 2020