Synthesis of Boolean Functions with Clausal Abstraction.
Markus N. RabeLeander TentrupPublished in: CoRR (2018)
Keyphrases
- boolean functions
- functional decomposition
- uniform distribution
- threshold functions
- relevant variables
- defeasible logic
- dnf formulae
- prime implicants
- functional properties
- inductive logic programming
- dnf formulas
- theorem proving
- knowledge compilation
- multi valued
- bi decomposition
- binary decision diagrams
- horn clauses
- read once formulas
- linear threshold
- background knowledge
- truth table