Login / Signup

Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach.

Yong LaiDayou LiuSheng-sheng Wang
Published in: Knowl. Inf. Syst. (2013)
Keyphrases
  • binary decision diagrams
  • knowledge compilation
  • product configuration
  • boolean formula
  • prime implicates
  • normal form
  • boolean functions
  • model checking
  • data mining
  • decomposable negation normal form