• Yochan

  • Referenced in 5 articles [sw20684]
  • YochanPS: PDDL3 simple preferences as partial satisfaction planning...
  • FALCON

  • Referenced in 7 articles [sw21349]
  • finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms ... least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search...
  • DesertFD

  • Referenced in 2 articles [sw06586]
  • Design space exploration seeks to automate or partially automate the process of evaluating tradeoff decisions ... pruning of a design space using constraint satisfaction. DesertFD offers a formal tree-based view...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • also perform synthesis of parameters ensuring the satisfaction of a given (invariant) property. All these ... within the D-MILS project, which is partially funded under the European Commission’s Seventh...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 674 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ManySAT

  • Referenced in 36 articles [sw00544]
  • ManySAT: a parallel SAT solver. ManySAT, a new...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

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

  • Referenced in 421 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 597 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Paramils

  • Referenced in 76 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • PARDISO

  • Referenced in 283 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 9188 articles [sw00771]
  • R is a language and environment for statistical...
  • RelView

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • SCIP

  • Referenced in 508 articles [sw01091]
  • SCIP is currently one of the fastest non...