Login / Signup
Unit Propagation with Stable Watches (Short Paper).
Markus Iser
Tomás Balyo
Published in:
CP (2021)
Keyphrases
</>
unit propagation
conjunctive normal form
max sat
evolutionary algorithm
sat solvers