Login / Signup

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.

Stefan EllmauthalerSarah Alice GagglDominik RusovacJohannes Peter Wallner
Published in: COMMA (2022)
Keyphrases
  • binary decision diagrams
  • boolean formula
  • boolean functions
  • symbolic model checking
  • planning problems
  • variable ordering
  • model checking
  • knowledge compilation
  • data model
  • orders of magnitude
  • database
  • data sets