The fraction of large random trees representing a given Boolean function in implicational logic.
Hervé FournierDanièle GardyAntoine GenitriniBernhard GittenbergerPublished in: Random Struct. Algorithms (2012)
Keyphrases
- boolean functions
- truth table
- multi valued
- uniform distribution
- defeasible logic
- bi decomposition
- functional properties
- pseudo boolean functions
- modal logic
- relevant variables
- binary decision diagrams
- logic programming
- disjunctive normal form
- monotone boolean functions
- membership queries
- polynomial size
- linear functions
- statistical queries
- stack filters
- functional decomposition
- logic programs