Login / Signup

Scalable SAT Solving on Demand (Abstract).

Dominik SchreiberPeter Sanders
Published in: HOPC@SPAA (2024)
Keyphrases
  • sat solving
  • sat solvers
  • sat problem
  • boolean satisfiability
  • boolean optimization