Bddl: A Type System for Binary Decision Diagrams.

Yousra Lembachar Ryan Rusich Iulian Neamtiu Gianfranco Ciardo

Published in: TAP@STAF (2022)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
small number
variable ordering
knowledge discovery
integrity constraints