MSCG: Robust Core-Guided MaxSAT Solving.

António Morgado Alexey Ignatiev João Marques-Silva

Published in: J. Satisf. Boolean Model. Comput. (2014)

Keyphrases

combinatorial optimization
neural network
upper bound
digital images
data mining
image sequences
computationally efficient