• GOLOG

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

  • Referenced in 89 articles [sw02226]
  • In this paper we present SPADE, a new...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • BLAST

  • Referenced in 128 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SPIN

  • Referenced in 721 articles [sw03455]
  • Spin is a popular open-source software tool...
  • CPLEX

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

  • Referenced in 305 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Walksat

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

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

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • Uppaal

  • Referenced in 646 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • mctoolbox

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

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

  • Referenced in 82 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • CPlan

  • Referenced in 27 articles [sw05037]
  • CPlan solves planning problems formulated as constraint satisfaction...
  • HOL

  • Referenced in 557 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • GSL

  • Referenced in 257 articles [sw05883]
  • The GNU Scientific Library (GSL) is a numerical...
  • AgentSpeak

  • Referenced in 101 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • SATzilla

  • Referenced in 88 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It...
  • WEKA

  • Referenced in 292 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...