The complexity of Boolean formula minimization.

David Buchfuhrer Christopher Umans

Published in: J. Comput. Syst. Sci. (2011)

Keyphrases

boolean formula
sat solvers
computational complexity
search algorithm
evolutionary algorithm
worst case
decision problems
inductive inference