Testing Basic Boolean Formulae.

Michal Parnas Dana Ron Alex Samorodnitsky

Published in: SIAM J. Discret. Math. (2002)

Keyphrases

boolean formulae
boolean variables
optimization problems
expressive power
learning algorithm
genetic programming
phase transition