
QuteRTL
 Referenced in 2 articles
[sw12872]
 gatelevel netlist, and link to logic synthesis/ optimization tools (e.g. Berkeley ABC). We have...

Spartacus
 Referenced in 15 articles
[sw12426]
 tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus ... competitive performance, Spartacus implements a number of optimization techniques, including a new technique that ... lazy branching for the basic modal logic K and observe high effectiveness of both techniques...

PAGODA
 Referenced in 14 articles
[sw08569]
 Bistarelli, Montanari and Rossi in rewriting logic. As a case study we present an application ... radio networks. We model the problem of “optimal” parameter assignments for softwaredefined radios ... implement the solution in our prototypical rewriting logic framework for soft constraints, and embed...

FLORA
 Referenced in 11 articles
[sw13880]
 irnplemented by translation into XSB, a tabling logic engine that is known for its efficiency ... equivalent of the Magic Sets style optimization, the wellfounded semantics for negation, and many ... needed. We then describe our solutions and optimization techniques that address these problems and make ... other known DOOD systems based on Flogic...

SNPmaxsel
 Referenced in 3 articles
[sw10515]
 subset of SNPs when the logic expression is chosen optimally. In this article, we propose ... this result can be used for testing logic expressions  in particular SNPSNP interaction patterns...

PITA
 Referenced in 22 articles
[sw06950]
 also efficiently support restricted PLP and possibilistic logic programs. PITA relies on tabling with answer ... supports the restricted PLP of PRISM, including optimizations that reduce nondiscriminating arguments ... PITA(POSS) which scalably implements possibilistic logic programming. PITA is a supported package in version...

foxPSL
 Referenced in 2 articles
[sw13725]
 foxPSL}, a fast, optimized and extended implementation of Probabilistic Soft Logic (PSL) based ... seen as both a probabilistic logic and a template language for hingeloss Markov Random ... discrete optimization problem for standard MRFs. From the logical perspective, a key feature ... Alternating Direction Method of Multipliers (ADMM) consensus optimization. It provides a Domain Specific Language that...

RacerPro
 Referenced in 6 articles
[sw17663]
 backbone of RacerPro is a description logic reasoner. It provides inference services for terminological knowledge ... optimization techniques and techniques that have been developed in the research field of description logics...

LTSmin
 Referenced in 21 articles
[sw07214]
 modules. Finally, all tools benefit from PINS2PINS optimizations, like local transition caching (which speeds ... algorithms), partial order reduction and linear temporal logic...

STaLiRo
 Referenced in 22 articles
[sw09775]
 TaLiRo: A tool for temporal logic falsification for hybrid systems. STaLiRo is a Matlab ... randomized testing based on stochastic optimization techniques including MonteCarlo methods and AntColony Optimization...

fCube
 Referenced in 9 articles
[sw11383]
 fCube, a theorem prover for intuitionistic propositional logic based on a tableau calculus. The main ... fCube is that it implements several optimization techniques that allow to prune the search space...

Tweety
 Referenced in 9 articles
[sw22090]
 such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries ... utility libraries that deal with e.g. mathematical optimization complement the collection...

azove
 Referenced in 13 articles
[sw04634]
 enumerate the feasible solutions and find an optimal solution according to a given linear objective ... very popular and effective datastructure in computational logics and hardware verification. par We present ... chosen variable ordering. Finding the optimal variable ordering is an NPhard problem. We derive...

ORL
 Referenced in 8 articles
[sw28404]
 Learning customized and optimized lists of rules with mathematical programming. We introduce a mathematical programming ... type of interpretable, nonlinear, and logical machine learning classifier involving IFTHEN rules. Unlike traditional ... pruning. Instead, it aims to fully optimize a combination of accuracy and sparsity, obeying user...

TinyGarble
 Referenced in 3 articles
[sw41619]
 methodology based on powerful logic synthesis techniques for generating and optimizing compressed Boolean circuits used...

PRISMgames
 Referenced in 21 articles
[sw12934]
 using rPATL, which extends the wellknown logic ATL with operators to reason about probabilities ... games, as well as functionality to synthesise optimal player strategies, explore or export them...

UnQL
 Referenced in 10 articles
[sw20018]
 used as the basis of an optimization method for mediator systems. Several other formal properties ... recursion can be expressed in firstorder logic extended with transitive closure; its data complexity...

EVC
 Referenced in 8 articles
[sw13374]
 with Uninterpreted Functions and Memories (EUFM). The logic expresses connectness of highlevel microprocessors ... tool that exploits positive equality and other optimizations when translating a formula in EUFM...

SAFKASI
 Referenced in 5 articles
[sw20431]
 optimization. We present a new semantics for stack inspection based on a belief logic ... combination of static analysis and runtime optimizations, our prototype implementation showes reasonable performance (although traditional...

WSDFU
 Referenced in 9 articles
[sw02362]
 auxiliary functions as well as the logical structure of a source program. GPC uses both ... prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than...