Login / Signup
MALL proof equivalence is Logspace-complete, via binary decision diagrams.
Marc Bagnol
Published in:
CoRR (2015)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
model checking
shopping mall
planning problems
theorem prover