Login / Signup
Representing Value Functions with Recurrent Binary Decision Diagrams.
Daniel Beck
Gerhard Lakemeyer
Published in:
ECAI (2012)
Keyphrases
</>
binary decision diagrams
symbolic model checking
boolean functions
artificial intelligence
variable ordering
knowledge base
search algorithm
general purpose
model checking