Chris Calabro

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Conjunctive Normal Form

Clause Learning

Top Venues

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Chris Calabro, Russell Impagliazzo, Ramamohan Paturi
-CNF. Algorithmica 65 (4) (2013)
Chris Calabro, Russell Impagliazzo, Ramamohan Paturi
-CNF. IPEC (2010)
Chris Calabro, Russell Impagliazzo, Ramamohan Paturi
The Complexity of Satisfiability of Small Depth Circuits. IWPEC (2009)
Chris Calabro, Ramamohan Paturi
-SAT. CSR (2009)
Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi
The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs. J. Comput. Syst. Sci. 74 (3) (2008)
Chris Calabro
A Lower Bound on the Size of Series-Parallel Graphs Dense in Long Paths. Electron. Colloquium Comput. Complex. 15 (110) (2008)
Chris Calabro, Russell Impagliazzo, Ramamohan Paturi
A Duality between Clause Width and Clause Density for SAT. Computational Complexity Conference (2006)
Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi
The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs. Computational Complexity Conference (2003)