Login / Signup

Picky CDCL: SMT-Solving with Flexible Literal Selection.

Konstantin BritikovAntti E. J. HyvärinenNatasha Sharygina
Published in: VSTTE (2023)
Keyphrases
  • sat encodings
  • sat solvers
  • unit propagation
  • sat instances
  • sat solving
  • evolutionary algorithm
  • model checking
  • constraint satisfaction
  • combinatorial optimization
  • sat problem
  • statistical machine translation