
MathSAT
 Referenced in 58 articles
[sw09449]
 solver. MathSAT 4 handles several useful theories: (combinations of) equality and uninterpreted functions, difference logic...

4eMka2
 Referenced in 53 articles
[sw16168]
 approach in multiple criteria decision support, combining advantages of rough sets and dominance relation ... that it bases on rough set theory combined with dominance relation, which is quite ... does not have to get familiar with theory basis of used analysis model, which...

CVC4
 Referenced in 107 articles
[sw09485]
 number of builtin logical theories and their combination. CVC4 is the fourth...

FRIL
 Referenced in 44 articles
[sw18490]
 theory of uncertainty, consistent with and combining the theories of probability and fuzzy sets. Extends...

NTRU
 Referenced in 160 articles
[sw11761]
 polynomial algebra combined with a clustering principle based on elementary probability theory. The security...

MathSAT5
 Referenced in 45 articles
[sw09569]
 most of the SMTLIB theories and their combinations, and provides many functionalities (like ... applications; second, a full support for the theories of arrays and floating point; third, sound...

HipSpec
 Referenced in 14 articles
[sw07736]
 Automating inductive proofs using theory exploration. HipSpec is a system for automatically deriving and proving ... programs. It uses a novel approach, combining theory exploration, counterexample testing and inductive theorem proving...

hgam
 Referenced in 73 articles
[sw11201]
 models. The combination of sparsity and smoothness is crucial for mathematical theory as well...

CVC
 Referenced in 47 articles
[sw09462]
 Decision procedures for decidable logics and logical theories have proven to be useful tools ... framework for combining subsidiary decision procedures for certain logical theories into a decision procedure...

VCFEMHOMO
 Referenced in 25 articles
[sw35054]
 porous and composite) materials by combining asymptotic homogenization theory with the Voronoi cell finite element...

Juno2
 Referenced in 11 articles
[sw07216]
 also be used to combine constraint solvers for two logical theories into ... single constraint solver for the combination of the theories. Juno2 uses this idea ... combine a simple solver for the theory of a pairing function (which amounts only...

Boolector
 Referenced in 28 articles
[sw00085]
 vectors and arrays. Satisfiability Modulo Theories (SMT) is the problem of deciding satisfiability ... logical formula, expressed in a combination of firstorder theories. We present the architecture...

MaLARea
 Referenced in 44 articles
[sw10278]
 Theories. MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive ... mode). Its intended use is in large theories, i.e. on a large number of problems ... about how (and if and when) to combine learning from previous experience to attack difficult...

MIO Workbench
 Referenced in 29 articles
[sw09762]
 specification theory for systems communicating via inputs and outputs. The approach combines the advantages...

rbminer
 Referenced in 11 articles
[sw00783]
 tools have appeared to support these new theories, thus relegating the potential of the area ... paper introduces rbminer, a tool that combines the theory of regions with linear algebra...

Ynot
 Referenced in 35 articles
[sw12334]
 Hoare Type Theory (HTT). We show how these axioms can be combined with the powerful...

PhaseLift
 Referenced in 184 articles
[sw31783]
 many other applications. Our approach, called PhaseLift, combines multiple structured illuminations together with ideas from ... noise ratio decreases. Finally, we introduce some theory showing that one can design very simple...

Stabhyli
 Referenced in 5 articles
[sw20122]
 systems. Certificates are obtained by Lyapunov theory combined with decomposition and composition techniques...

BarcelogicTools
 Referenced in 9 articles
[sw02001]
 able to deal with conjunctions of theory literals and conform to a minimal and simple ... symbols predecessor and successor, or combinations of these theories. The input formulas given...

AMDS
 Referenced in 4 articles
[sw03227]
 Bruen, and R. Silverman [J. Combin. Theory...