Branching program size is almost linear in formula size
From MaRDI portal
Publication:5956012
DOI10.1006/jcss.2001.1762zbMath0992.68074MaRDI QIDQ5956012
Publication date: 11 September 2002
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.2001.1762
68Q25: Analysis of algorithms and problem complexity
Cites Work