Time and Space Complexity of Reversible Pebbling.

Richard Královic

Published in: SOFSEM (2001)

Keyphrases

space complexity
clause learning
cellular automata
sat solvers
arc consistency
markov chain
worst case
space requirements
satisfiability problem
propositional satisfiability
worst case time complexity
evolutionary algorithm