Login / Signup

Propositional proofs and reductions between NP search problems.

Samuel R. BussAlan S. Johnson
Published in: Ann. Pure Appl. Log. (2012)
Keyphrases