Time and space complexity of reversible pebbling.

Richard Královic

Published in: RAIRO Theor. Informatics Appl. (2004)

Keyphrases

space complexity
clause learning
markov chain
cellular automata
sat solvers
worst case
arc consistency
satisfiability problem
worst case time complexity
search algorithm
reinforcement learning
computational complexity
linear programming
orders of magnitude
sat problem
space requirements