Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
Paul TarauPublished in: CoRR (2008)
Keyphrases
- boolean functions
- binary decision diagrams
- programming language
- uniform distribution
- functional programming
- prime implicants
- relevant variables
- functional properties
- knowledge representation
- read once formulas
- dnf formulae
- multi valued
- normal form
- domain independent
- heuristic search
- threshold functions
- knowledge base
- pac learning