
clasp
 Referenced in 90 articles
[sw07095]
 technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp...

Quaffle
 Referenced in 64 articles
[sw07278]
 Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles ... Conflict Driven Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference on Computer...

cvc3
 Referenced in 85 articles
[sw04886]
 CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3...

ORTHPOL
 Referenced in 79 articles
[sw00659]
 coefficients in the threeterm recurrence relation satisfied by the orthogonal polynomials. Once these...

CCalc
 Referenced in 75 articles
[sw09899]
 logic programming. Computationally, CCalc uses ideas of satisfiability planning. (A related system, Cplus2ASP from Arizona...

SATIRE
 Referenced in 38 articles
[sw04648]
 SATIRE: A new incremental satisfiability engine. We introduce SATIRE, a new satisfiability solver that ... builds on the most recent advances in satisfiability research, and includes two new features ... effectiveness of these additions to classical satisfiability solver...

ProVerif
 Referenced in 41 articles
[sw06558]
 claims that the protocol satisfies some property, then the property is actually satisfied. With Andreas...

TIGRA
 Referenced in 40 articles
[sw02333]
 regularization parameter and a parameter iteration for satisfying a discrepancy criterion in an outer loop ... where the assumptions of the paper are satisfied...

Healpix
 Referenced in 53 articles
[sw08860]
 sphere. We demonstrate how these are explicitly satisfied by HEALPix...

sobol.cc
 Referenced in 51 articles
[sw36024]
 direction numbers given generate Sobol’ sequences that satisfy Sobol’s socalled Property...

QUBE
 Referenced in 29 articles
[sw11381]
 System for Deciding Quantified Boolean Formulas Satisfiability. Deciding the satisfiability of a Quantified Boolean Formula ... mapped into the problem of deciding the satisfiability of a QBF. In this paper ... present QuBE, a system for deciding QBFs satisfiability. We start our presentation in § 2 with...

Satallax
 Referenced in 50 articles
[sw06849]
 calculus and calls MiniSat periodically to test satisfiability of these clauses. Satallax is implemented...

HolonomicFunctions
 Referenced in 48 articles
[sw06666]
 mixed linear equations that a given function satisfies. Summation and integration of multivariate holonomic functions...

RanGen
 Referenced in 47 articles
[sw14333]
 objective is to construct random networks which satisfy preset values of the parameters used...

TRICE
 Referenced in 46 articles
[sw05197]
 shown to have a limit point satisfying the secondorder necessary KKT conditions. The local...

iPiano
 Referenced in 46 articles
[sw09623]
 proved, and then iPiano is shown to satisfy the requirements of this theorem. Furthermore...

SAMRAI
 Referenced in 45 articles
[sw04441]
 extension of existing framework components to satisfy new application needs...

ADMiRA
 Referenced in 31 articles
[sw31664]
 rank then provides the minimum rank solution satisfying a prescribed data approximation bound. We propose ... that, although the RRIP is not satisfied in this case, ADMiRA is a competitive...

ROS3P
 Referenced in 42 articles
[sw00813]
 equations, additional order conditions have to be satisfied. Although these conditions have been known...