Login / Signup

MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams.

Marc Bagnol
Published in: TLCA (2015)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • databases
  • real world
  • search space
  • theorem prover
  • database
  • data mining
  • knowledge representation
  • planning problems