Login / Signup

Incremental Maximum Satisfiability.

Andreas NiskanenJeremias BergMatti 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