• CLIN

  • Referenced in 6 articles [sw19618]
  • CLIN-S employs three inference procedures: semantic hyper-linking, which uses semantics to guide...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • SATCHMO

  • Referenced in 96 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...