Login / Signup

Parallel SAT Solving using Bit-level Operations.

Marijn HeuleHans van Maaren
Published in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
  • sat solving
  • simulated annealing
  • boolean satisfiability
  • sat solvers
  • sat problem
  • boolean optimization