QMaxSATpb: A Certified MaxSAT Solver.

Dieter Vandesande Wolf De Wulf Bart Bogaerts

Published in: LPNMR (2022)

Keyphrases

upper bound
sat solvers
branch and bound algorithm
machine learning
lower bound
scheduling problem
combinatorial optimization
technical support
constraint solver
clause learning
sat solving
neural network