• OSQP

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

  • 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 counter-example; (c) detect and discard infeasible counter-examples 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 ... error-prone. 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...
  • CFLOW-AD

  • 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, CFLOW-AD consists...
  • InfectionTrees

  • Referenced in 1 article [sw42443]
  • covariates. Because enumerating the transmission trees is infeasible for large clusters, we develop an algorithm ... with transmission of Tuberculosis using clusters of detected cases in Maryland from...
  • 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 357 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 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1702 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 13559 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...