Results 1 to 6 of 6
Sort by:

  • GNT
  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...

  • MiniSat
  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • ASSAT
  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...

  • Cmodels
  • Referenced in 71 articles [sw04435]
  • Cmodels is a system that computes answer sets...

  • Chaff
  • Referenced in 586 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

  • BerkMin
  • Referenced in 161 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We...