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

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Ada95
 Referenced in 294 articles
[sw01753]
 Ada is a structured, statically typed, imperative, wide...

COMET
 Referenced in 77 articles
[sw03051]
 ConstraintBased Local Search. The ubiquity of combinatorial...

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

UCIml
 Referenced in 3266 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

z3
 Referenced in 562 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

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

Maude
 Referenced in 685 articles
[sw06233]
 Maude is a highperformance reflective language and...

JaCoP
 Referenced in 21 articles
[sw06307]
 JaCoP is a Java Constraint Programming solver. It...

Nuprl
 Referenced in 390 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

JavaScript
 Referenced in 164 articles
[sw06868]
 JavaScript is a scripting language for computers. It...

Chaff
 Referenced in 579 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

Mercury
 Referenced in 68 articles
[sw08333]
 Mercury is a logic/functional programming language which combines...

CESAR
 Referenced in 161 articles
[sw08510]
 Specification and verification of concurrent systems in CESAR...

Clingo
 Referenced in 80 articles
[sw09893]
 Potassco, the Potsdam Answer Set Solving Collection, bundles...

BayesDA
 Referenced in 1175 articles
[sw11008]
 BayesDA: Functions and Datasets for the book ”Bayesian...

gSpan
 Referenced in 111 articles
[sw11908]
 gSpan: graphbased substructure pattern mining. We investigate...