
TACO
 Referenced in 7 articles
[sw07668]
 instrument code analysis with a symmetrybreaking predicate which, on one hand, reduces the size...

Shatter
 Referenced in 6 articles
[sw21225]
 space are broken by adding appropriate symmetrybreaking predicates (SBPs) to a SAT instance ... satisfiability of the CNF formula. For symmetry breaking to be effective in practice, the computational...

SymChaff
 Referenced in 6 articles
[sw00938]
 many limitations of alternative approaches like symmetry breaking predicates, implicit pseudoBoolean representations, general group...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Maple
 Referenced in 5369 articles
[sw00545]
 The result of over 30 years of cutting...

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

Matlab
 Referenced in 13488 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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

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

Alloy
 Referenced in 30 articles
[sw01247]
 Alloy: A new technology for software modelling. Alloy...

NPSPEC
 Referenced in 20 articles
[sw02243]
 NPSPEC: An executable specification language for solving...

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

TPTP
 Referenced in 395 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

Qhull
 Referenced in 320 articles
[sw04419]
 The convex hull of a point set P...

SATO
 Referenced in 196 articles
[sw04451]
 SATO: A Solver for Propositional Satisfiability: The Davis...

PBS
 Referenced in 38 articles
[sw04622]
 Reads as input both: CNF constraints, PB constraints...

mctoolbox
 Referenced in 1485 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

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