Sign in

Laissez-Faire Caching for Parallel #SAT Solving.

Jan BurchardTobias SchubertBernd Becker
Published in: SAT (2015)
Keyphrases
  • sat solving
  • sat solvers
  • sat problem
  • boolean satisfiability
  • query processing
  • max sat
  • boolean optimization