Login / Signup

Exact MAX-2SAT solution via lift-and-project closure.

Pierre BonamiMichel Minoux
Published in: Oper. Res. Lett. (2006)
Keyphrases
  • max sat
  • exact solution
  • integer programming
  • optimal solution
  • sat solvers
  • upper bound
  • tabu search
  • exact algorithms
  • neural network
  • search algorithm
  • branch and bound
  • branch and bound algorithm
  • satisfiability problem