Solving a PSPACE-complete problem by gene assembly.

Thomas Zerjatke Monika Sturm

Published in: J. Log. Comput. (2013)

Keyphrases

pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
database
search algorithm
complex systems
microarray
causal graph