Results 1 to 20 of 88
Sort by:

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

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

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

  • CP-nets
  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...

  • ConGolog
  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...

  • MaxSolver
  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization...

  • GOLOG
  • Referenced in 172 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...

  • ASSAT
  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...

  • OTTER
  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...

  • ELECTRE
  • Referenced in 128 articles [sw02971]
  • Electre Methods. Over the last three decades a...

  • L-BFGS
  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...

  • AMPL
  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...

  • UCI-ml
  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • SVMlight
  • Referenced in 264 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik...

  • CPLEX
  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

  • SPSS
  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...

  • Walksat
  • Referenced in 209 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...

  • Cmodels
  • Referenced in 71 articles [sw04435]
  • Cmodels is a system that computes answer sets...