Sign in

SAT Solving in the Serverless Cloud.

Alex OzdemirHaoze WuClark W. Barrett
Published in: FMCAD (2021)
Keyphrases
  • sat solving
  • sat solvers
  • sat problem
  • boolean satisfiability
  • boolean optimization
  • propositional satisfiability
  • sat encodings
  • special case
  • orders of magnitude
  • branch and bound algorithm
  • max sat