Results 21 to 40 of 62
Sort by:

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

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

  • Gringo
  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...

  • DLV
  • Referenced in 33 articles [sw04640]
  • DLV is a deductive database system, based on...

  • DLV-EX
  • Referenced in 16 articles [sw04642]
  • External sources of knowledge and value invention in...

  • BOBYQA
  • Referenced in 79 articles [sw04769]
  • This Fortran software seeks the least value of...

  • mctoolbox
  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...

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

  • AUTO-07P
  • Referenced in 262 articles [sw04961]
  • CONTINUATION AND BIFURCATION PROBLEMS IN ORDINARY DIFFERENTIAL EQUATIONS...

  • XPPAUT
  • Referenced in 453 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...

  • SAS
  • Referenced in 1555 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...

  • METATEM
  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...

  • Chaff
  • Referenced in 586 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

  • BerkMin
  • Referenced in 161 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We...

  • CP-logic
  • Referenced in 18 articles [sw06947]
  • CP-logic: A language of causal probabilistic events...

  • Potassco
  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...

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

  • PicoSAT
  • Referenced in 83 articles [sw07092]
  • PicoSAT essentials. We describe and evaluate optimized compact...

  • GASP
  • Referenced in 18 articles [sw07096]
  • GASP: Answer set programming with lazy grounding In...