Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.
Michael WachterRolf HaenniPublished in: KR (2006)
Keyphrases
- boolean functions
- prime implicants
- multi valued
- uniform distribution
- dnf formulae
- functional properties
- propositional logic
- programming language
- threshold functions
- membership queries
- natural language
- directed acyclic graph
- binary decision diagrams
- relevant variables
- theorem proving
- belief networks
- prime implicates
- polynomial size