Mathematical software

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

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

OSQP