Complexity of Max-SAT using stochastic algorithms.

Mohamed Qasem Adam Prügel-Bennett

Published in: GECCO (2008)

Keyphrases

learning algorithm
max sat
stochastic local search
data structure
computational complexity
orders of magnitude
evolutionary algorithm
multi objective
combinatorial optimization
space complexity
exact algorithms
weighted max sat
maximum satisfiability