
OSQP
 Referenced in 27 articles
[sw26960]
 quadratic programs able to reliably detect primal and dual infeasible problems from the algorithm iterates...

SieveSDP
 Referenced in 8 articles
[sw31824]
 variable matrix. It often detects infeasibility. It does not rely on any optimization solver...

Spacer
 Referenced in 12 articles
[sw19496]
 approximations are used to block infeasible counterexamples and detect convergence to a proof. We show...

iOptimize
 Referenced in 4 articles
[sw20377]
 optimality. We also find that iOptimize detects infeasibility more reliably than the general nonlinear solvers...

QPDO
 Referenced in 1 article
[sw41548]
 degenerate problems, provides a mechanism for infeasibility detection, and can exploit warm starting, while requiring...

FocusCheck
 Referenced in 3 articles
[sw01298]
 underlying a counterexample; (c) detect and discard infeasible counterexamples via feasibility analysis...

Trickle
 Referenced in 0 articles
[sw22323]
 Trickle: automated infeasible path detection using all minimal unsatisfiable subsets. Static analysis techniques ... curb computational complexity. These abstractions may introduce infeasible paths which result in significant overestimation. These ... errorprone. Automated methods of finding infeasible path constraints are thus highly desirable. In this ... present Trickle: a method to automatically detect infeasible paths on compiled binary programs, in order...

CFLOWAD
 Referenced in 1 article
[sw41241]
 Unsupervised anomaly detection with localization has many practical applications when labeling is infeasible and, moreover ... conditional normalizing flow framework adopted for anomaly detection with localization. In particular, CFLOWAD consists...

JMorph
 Referenced in 1 article
[sw23846]
 macro or microfossil samples is generally infeasible or impossible with traditional instruments such as vernier ... samples. Some software exists to automatically detect the outline of a fossil sample from...

MuVM
 Referenced in 0 articles
[sw23768]
 measuring the fraction of seeded faults detected by the test suite. The major limitation ... number of generated mutants by omitting infeasible mutants. Our comparative experiments indicate that our tool...

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

DEA
 Referenced in 244 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

KNITRO
 Referenced in 196 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 306 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1701 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 394 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

MA57
 Referenced in 92 articles
[sw00536]
 MA57  a code for the solution of sparse...

Matlab
 Referenced in 13488 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 566 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

R
 Referenced in 9832 articles
[sw00771]
 R is a language and environment for statistical...