ECCC
Electronic Colloquium on Computational Complexity
Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR12-071 | 29th May 2012 10:20

A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis

RSS-Feed




TR12-071
Authors: Kazuhisa Seto, Suguru Tamaki
Publication: 29th May 2012 15:22
Downloads: 834
Keywords: 


Abstract:

We present a moderately exponential time algorithm for the satisfiability of Boolean formulas over the full binary basis.
For formulas of size at most $cn$, our algorithm runs in time $2^{(1-\mu_c)n}$ for some constant $\mu_c>0$.
As a byproduct of the running time analysis of our algorithm,
we get strong average-case hardness of affine extractors for linear-sized formulas over the full binary basis.



ISSN 1433-8092 | Imprint