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