Login / Signup
Incremental Maximum Satisfiability.
Andreas Niskanen
Jeremias Berg
Matti Järvisalo
Published in:
SAT (2022)
Keyphrases
</>
maximum satisfiability
boolean satisfiability
max sat
sat problem
genetic algorithm
search algorithm
evolutionary algorithm
special case
orders of magnitude
sat solvers