Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP.

Ruiwen Chen Rahul Santhanam

Published in: SAT (2015)

Keyphrases

max sat
data structure
learning algorithm
optimization problems
genetic algorithm
reinforcement learning
np complete
tabu search
retrieval effectiveness
constraint propagation
exact algorithms
maximum satisfiability