Refined Core Relaxation for Core-Guided MaxSAT Solving.

Hannes Ihalainen Jeremias Berg Matti Järvisalo

Published in: CP (2021)

Keyphrases

combinatorial optimization
data sets
objective function