Bent functions and random boolean formulas.

Published in: Discret. Math. (1995)

Keyphrases

boolean formula
sat solvers
optimization problems
conjunctive normal form
unsatisfiable cores
genetic algorithm
objective function
upper bound
heuristic search
constraint satisfaction
randomly generated
linear constraints
binary decision diagrams