
Chaff
 Referenced in 591 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial...

TETRAD
 Referenced in 441 articles
[sw12177]
 provided that structure and the sample data satisfy various commonly made (but not always true...

Walksat
 Referenced in 211 articles
[sw04328]
 local search algorithms to solve Boolean satisfiability problems. Both algorithms work on formulae that ... value to each variable. If the assignment satisfies all clauses, the algorithm terminates, returning ... then repeated until all the clauses are satisfied. WalkSAT and GSAT differ in the methods ... that will result in the fewest previously satisfied clauses becoming unsatisfied, with some probability...

GQTPAR
 Referenced in 334 articles
[sw07451]
 method has a limit point which satisfies the first and second order necessary conditions...

HyTech
 Referenced in 333 articles
[sw04125]
 condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified...

Optimization Toolbox
 Referenced in 312 articles
[sw10828]
 parameters that minimize or maximize objectives while satisfying constraints. The toolbox includes solvers for linear...

SATO
 Referenced in 197 articles
[sw04451]
 SATO: A Solver for Propositional Satisfiability: The DavisPutnam method is one of the major ... practical methods for the satisfiability (SAT) problem of propositional logic. In the last decade...

DASSL
 Referenced in 263 articles
[sw03174]
 given initial values, they must satisfy G(T,Y,YPRIME) = 0.). The subroutine solves...

Mace4
 Referenced in 228 articles
[sw06905]
 ground equational rewriting is applied. If satisfiability is detected, one or more models are printed...

DGM
 Referenced in 191 articles
[sw39282]
 deep neural network which is trained to satisfy the differential operator, initial condition, and boundary...

ASSAT
 Referenced in 176 articles
[sw02524]
 whose loop formulas are not satisfied by M and adds their corresponding clauses...

CVC4
 Referenced in 126 articles
[sw09485]
 efficient opensource automatic theorem prover for satisfiability modulo theories (SMT) problems ... prove the validity (or, dually, the satisfiability) of firstorder formulas in a large number...

Yices
 Referenced in 158 articles
[sw04436]
 efficient SMT solver that decides the satisfiability of arbitrary formulas containing uninterpreted function symbols with...

SLAM
 Referenced in 153 articles
[sw03136]
 project for checking that software satisfies critical behavioral properties of the interfaces it uses...

Isar
 Referenced in 145 articles
[sw04599]
 formal proof language has been designed to satisfy quite contradictory requirements, being both ’declarative...

gfun
 Referenced in 144 articles
[sw00344]
 procedure to compute the differential equation satisfied by their product. Each command in the gfun...

CG_DESCENT
 Referenced in 144 articles
[sw04813]
 nonlinear conjugate gradient scheme was developed which satisfies the descent condition gTkdk...

COMET
 Referenced in 80 articles
[sw03051]
 book also includes a number of satisfiability problems, illustrating the ability of constraintbased local ... search approaches to cope with both satisfiability and optimization problems in a uniform fashion...

CALMA
 Referenced in 109 articles
[sw03235]
 given domain. The assignment has to satisfy certain restrictions so as to limit the interference...