Login / Signup

Multiple Contraction through Partial-Max-SAT.

Éric GrégoireJean-Marie LagniezBertrand Mazure
Published in: ICTAI (2014)
Keyphrases
  • max sat
  • weighted max sat
  • branch and bound
  • satisfiability problem
  • sat solvers
  • sat problem
  • search algorithm
  • branch and bound algorithm
  • stochastic local search
  • maximum satisfiability