• Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 10 articles [sw07080]
  • plasp: A prototype for PDDL-based planning in...
  • Graphplan

  • Referenced in 186 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...
  • Clingo

  • Referenced in 102 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...