• 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 built-in 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 SMT-LIB 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...
  • VCFEM-HOMO

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

  • 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. Juno-2 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 first-order 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...