On the Maximum Satisfiability of Random Formulas.

Dimitris Achlioptas Assaf Naor Yuval Peres

Published in: FOCS (2003)

Keyphrases

maximum satisfiability
unsatisfiable cores
max sat
boolean satisfiability
combinatorial problems
randomly generated
genetic algorithm
sat solvers
integer linear programming