Login / Signup

Unit Propagation with Stable Watches (Short Paper).

Markus IserTomás Balyo
Published in: CP (2021)
Keyphrases
  • unit propagation
  • conjunctive normal form
  • max sat
  • evolutionary algorithm
  • sat solvers