• Qhull

  • Referenced in 332 articles [sw04419]
  • The convex hull of a point set P...
  • SATO

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

  • Referenced in 183 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • Mosek

  • Referenced in 509 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Ipopt

  • Referenced in 787 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • z3

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Choco

  • Referenced in 66 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...
  • MiniZinc

  • Referenced in 105 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • Gecode

  • Referenced in 83 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Oz

  • Referenced in 117 articles [sw06799]
  • Oz is a high-level programming language combining...
  • PDDL

  • Referenced in 106 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • Sat4j

  • Referenced in 86 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • Graphplan

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

  • Referenced in 6 articles [sw08007]
  • race: Racing methods for the selection of the...
  • BL data set

  • Referenced in 26 articles [sw08330]
  • Constraint Propagation and Decomposition Techniques for Highly Disjunctive...
  • Zinc

  • Referenced in 26 articles [sw08334]
  • The design of the zinc modelling language. Zinc...