Crossmark

Lower Bound Techniques for QBF Expansion

Crossref DOI link: https://doi.org/10.1007/s00224-019-09940-0

Published Online: 2019-08-05

Published Print: 2020-04

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

Authors

Beyersdorff, Olaf

Blinkhorn, Joshua http://orcid.org/0000-0001-7452-6521
Funding

Funding for this research was provided by:

John Templeton Foundation (60842)

European Commission Research Executive Executive Agency (612638)
License Information

Text and Data Mining valid from 2019-08-05

Version of Record valid from 2019-08-05
More Information

Article History

First Online: 5 August 2019