The Complexity of Boolean Formula Minimization.

David Buchfuhrer Christopher Umans

Published in: ICALP (1) (2008)

Keyphrases

boolean formula
objective function
boolean variables
machine learning
genetic algorithm
computational complexity
np hard