Login / Signup

kcnfs: An Efficient Solver for Random k-SAT Formulae.

Gilles DequenOlivier Dubois
Published in: SAT (2003)
Keyphrases
  • sat solving
  • weighted max sat
  • max sat
  • satisfiability problem
  • search algorithm
  • sat solvers
  • orders of magnitude
  • boolean formula
  • phase transition
  • constraint solver