Login / Signup
Subsumed Label Elimination for Maximum Satisfiability.
Jeremias Berg
Paul Saikko
Matti Järvisalo
Published in:
ECAI (2016)
Keyphrases
</>
maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
genetic algorithm
constraint programming
branch and bound algorithm
sat solvers
reinforcement learning
optimization problems
linear programming
np complete
probabilistic planning