• SBSAT

  • Referenced in 10 articles [sw00828]
  • SBSAT: a state-based, BDD-based satisfiability solver...
  • FORCE

  • Referenced in 9 articles [sw09016]
  • FORCE: a fast and easy-to-implement variable...
  • sharpSAT

  • Referenced in 26 articles [sw16713]
  • sharpSAT – counting models with advanced component caching and...