Login / Signup
Alan S. Johnson
Publication Activity (10 Years)
Years Active: 2010-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Heuristic Search Algorithms
Cnf Formula
Search Problems
Top Venues
Ann. Pure Appl. Log.
</>
Publications
</>
Samuel R. Buss
,
Alan S. Johnson
Propositional proofs and reductions between NP search problems.
Ann. Pure Appl. Log.
163 (9) (2012)
Samuel R. Buss
,
Alan S. Johnson
The quantifier complexity of polynomial-size iterated definitions in first-order logic.
Math. Log. Q.
56 (6) (2010)