RC2: an Efficient MaxSAT Solver.

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

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

Keyphrases

upper bound
branch and bound algorithm
neural network
information retrieval
combinatorial optimization
image sequences
orders of magnitude
floating point