Separating the polynomial-time hierarchy by oracles
Proc. 26th annual symposium on Foundations of computer science
Almost optimal lower bounds for small depth circuits
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Computational limitations of small-depth circuits
Computational limitations of small-depth circuits
Top-down lower bounds for depth-three circuits
Computational Complexity
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
An Improved Exponential-Time Algorithm for k-SAT
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
An algorithm for the satisfiability problem of formulas in conjunctive normal form
Journal of Algorithms
A Duality between Clause Width and Clause Density for SAT
CCC '06 Proceedings of the 21st Annual IEEE Conference on Computational Complexity
Boolean satisfiability from theoretical hardness to practical success
Communications of the ACM - A Blind Person's Interaction with Technology
The Complexity of Satisfiability of Small Depth Circuits
Parameterized and Exact Computation
Solving satisfiability in less than 2n steps
Discrete Applied Mathematics
Improving exhaustive search implies superpolynomial lower bounds
Proceedings of the forty-second ACM symposium on Theory of computing
Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability
FOCS '10 Proceedings of the 2010 IEEE 51st Annual Symposium on Foundations of Computer Science
A full derandomization of schöning's k-SAT algorithm
Proceedings of the forty-third annual ACM symposium on Theory of computing
Non-uniform ACC Circuit Lower Bounds
CCC '11 Proceedings of the 2011 IEEE 26th Annual Conference on Computational Complexity
On the limits of sparsification
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
Exploiting independent subformulas: A faster approximation scheme for #k-SAT
Information Processing Letters
Strong ETH holds for regular resolution
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Nonuniform ACC Circuit Lower Bounds
Journal of the ACM (JACM)
Hi-index | 0.00 |
We consider the problem of efficiently enumerating the satisfying assignments to AC0 circuits. We give a zero-error randomized algorithm which takes an AC0 circuit as input and constructs a set of restrictions which partitions {0, 1}n so that under each restriction the value of the circuit is constant. Let d denote the depth of the circuit and cn denote the number of gates. This algorithm runs in time |C|2n(1-μc,d) where |C| is the size of the circuit for μc,d1/O[lg c + g lg d]d&minus1 with probability at least 1−2−n. As a result, we get improved exponential time algorithms for AC0 circuit satisfiability and for counting solutions. In addition, we get an improved bound on the correlation of AC0 circuits with parity. As an important component of our analysis, we extend the Håstad Switching Lemma to handle multiple k-cnfs and k-dnfs.