Login / Signup

Representing Value Functions with Recurrent Binary Decision Diagrams.

Daniel BeckGerhard 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