• CoLoSS

  • Referenced in 14 articles [sw07016]
  • logics K, KD, Pauly’s coalition logic, graded modal logic, and probabilistic modal logic. Logics...
  • Cool

  • Referenced in 4 articles [sw11992]
  • graded modal logic and Pauly’s coalition logic (the next-step fragment of alternating-time...
  • CLProver

  • Referenced in 2 articles [sw39245]
  • resolution prover for coalition logic. We present a prototype tool for automated reasoning for Coalition ... resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form ... Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus ... Coalition Logic. We then give details of the implementation of CLProver and present the results...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • PSPLIB

  • Referenced in 269 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

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

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

  • Referenced in 35 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • UCI-ml

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

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

  • Referenced in 679 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • NuSMV

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

  • Referenced in 166 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • Bioconductor

  • Referenced in 320 articles [sw04205]
  • Bioconductor provides tools for the analysis and comprehension...
  • CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • azove

  • Referenced in 12 articles [sw04634]
  • On threshold BDDs and the optimal variable ordering...
  • CliffMath

  • Referenced in 23 articles [sw04955]
  • Operator calculus on graphs. Theory and applications in...
  • CliffSymNil

  • Referenced in 14 articles [sw04956]
  • Mathematica: Zeon, abelian Clifford, and abelian-idempotent Clifford...