Login / Signup

A New Exact Solver for (Weighted) Max#SAT.

Gilles AudemardJean-Marie LagniezMarie Miceli
Published in: SAT (2022)
Keyphrases
  • weighted max sat
  • max sat
  • sat solvers
  • boolean satisfiability
  • tabu search
  • satisfiability problem
  • sat problem
  • lower bound
  • orders of magnitude
  • branch and bound algorithm
  • neural network
  • search strategies