On the maximum satisfiability of random formulas.

Dimitris Achlioptas Assaf Naor Yuval Peres

Published in: J. ACM (2007)

Keyphrases

maximum satisfiability
unsatisfiable cores
boolean satisfiability
max sat
genetic algorithm
evolutionary algorithm
linear programming
symmetry breaking