The PSPACE-Completeness of Black-White Pebbling.

Philipp Hertel Toniann Pitassi

Published in: SIAM J. Comput. (2010)

Keyphrases

clause learning
sat solvers
complexity bounds
temporal logic
decision procedures
machine learning
genetic algorithm
natural language
search space
special case
theorem prover