Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling.

Philipp Hertel Toniann Pitassi

Published in: FOCS (2007)

Keyphrases

clause learning
orders of magnitude
high resolution
space time
parallel processing
satisfiability problem
sat solvers
linear space