Results 1 to 6 of 6
Sort by:

  • 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...