Improvements to Core-Guided Binary Search for MaxSAT.

António Morgado Federico Heras João Marques-Silva

Published in: SAT (2012)

Keyphrases

binary search
upper bound
combinatorial optimization
database
neural network
hidden markov models
information retrieval
metadata
image segmentation
reinforcement learning