Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6873781 | Information and Computation | 2018 | 15 Pages |
Abstract
As an application, we tighten Williams' connection between satisfiability algorithms and circuit lower bounds (STOC 2010; SIAM J. Comput. 2013).
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Hamidreza Jahanjou, Eric Miles, Emanuele Viola,