Extending Resolution by Dynamic Substitution of Boolean Functions.

Saïd Jabbour Jerry Lonlac Lakhdar Sais

Published in: ICTAI (2012)

Keyphrases

boolean functions
uniform distribution
threshold functions
prime implicants
relevant variables
dnf formulae
membership queries
polynomial size
machine learning
lower bound
genetic programming
pac learning
linear threshold
functional properties
read once formulas