MaxPre: An Extended MaxSAT Preprocessor.

Tuukka Korhonen Jeremias Berg Paul Saikko Matti Järvisalo

Published in: SAT (2017)

Keyphrases

upper bound
branch and bound algorithm
neural network
data mining
website
web services
reinforcement learning
lower bound
np hard
sat solvers