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

Quaffle
 Referenced in 63 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 84 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 39 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...

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...

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

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

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

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

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

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

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

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...

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