Login / Signup
Algorithms for Maximum Satisfiability using Unsatisfiable Cores.
João Marques-Silva
Jordi Planes
Published in:
DATE (2008)
Keyphrases
</>
maximum satisfiability
unsatisfiable cores
boolean satisfiability
max sat
orders of magnitude
combinatorial problems
learning algorithm
optimization problems
sat problem