Login / Signup

HaifaSat: A New Robust SAT Solver.

Roman GershmanOfer Strichman
Published in: Haifa Verification Conference (2005)
Keyphrases
  • sat solvers
  • sat solving
  • orders of magnitude
  • constraint satisfaction
  • max sat
  • document retrieval
  • search strategies
  • constraint solver
  • sat encodings