Login / Signup
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.
Jan Friso Groote
Hans Zantema
Published in:
Ershov Memorial Conference (2001)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
variable ordering
planning problems
np complete
high resolution
constraint satisfaction