Sign in

QMaxSATpb: A Certified MaxSAT Solver.

Dieter VandesandeWolf De WulfBart 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