Cumulative Space in Black-White Pebbling and Resolution.

Joël Alwen Susanna F. de Rezende Jakob Nordström Marc Vinyals

Published in: ITCS (2017)

Keyphrases

clause learning
space time
sat solvers
genetic algorithm
natural language
search space
low resolution
black and white