
Ipopt
 Referenced in 740 articles
[sw04808]
 that equality constraints can be formulated in the above formulation by setting the corresponding components...

Gecode
 Referenced in 82 articles
[sw06272]
 systems. It supports the programming of new constraints, branching strategies, and search engines. New variable ... comprehensive. Gecode has a comprehensive set of features: constraints over integers, Booleans, sets, and floats...

METIS
 Referenced in 467 articles
[sw04089]
 METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes ... recursivebisection, multilevel kway, and multiconstraint partitioning schemes developed...

ANSYS
 Referenced in 703 articles
[sw00044]
 scalability, comprehensive multiphysics foundation and adaptive architecture set our technology apart from other CAE tools ... delivering efficiency, driving innovation and reducing physical constraints, enabling simulated tests that might...

Smodels
 Referenced in 239 articles
[sw04631]
 Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... constraints of a problem as a logic program such that the answer sets (stable models...

RSOLVER
 Referenced in 74 articles
[sw04334]
 solution set of a set of inequality constraints to two dimensions, or parametric robust stability...

Octagon
 Referenced in 61 articles
[sw13702]
 polyhedra called octagons that correspond to sets of constraints of the form...

RealPaver
 Referenced in 51 articles
[sw04401]
 discrete, have to be bounded. Functions and constraints have to be defined by analytical expressions ... elementary functions. Rigourousness: Realpaver covers the solution set of a given problem by means ... existence of solutions to a set of constraints. Moreover, it is able to enclose ... from various fields: interval fixedpoint operators, constraint propagation and local consistency techniques, local optimization...

DADMM
 Referenced in 25 articles
[sw28440]
 private cost function and a private constraint set at each node. The goal ... intersection of all the constraint sets. DADMM is proven to converge when the network...

Tabu search
 Referenced in 1067 articles
[sw08556]
 model elements, such as new types of constraints and objective functions. Similarly, the method itself ... difficult problems, yielding outcomes in some settings that have not been matched by other known...

QSDPNAL
 Referenced in 30 articles
[sw18799]
 inequality constraints, a simple convex polyhedral set constraint, and a positive semidefinite cone constraint...

LFW
 Referenced in 60 articles
[sw31362]
 distinct photos in the data set. The only constraint on these faces is that they ... report below. There are now four different sets of LFW images including the original...

SUMO
 Referenced in 26 articles
[sw12763]
 script, ...) within the accuracy and time constraints set by the user. In doing...

CFSQP
 Referenced in 61 articles
[sw04658]
 Generating Iterates Satisfying All Inequality Constraints. CFSQP is a set of C functions ... set of smooth objective functions (possibly a single one) subject to general smooth constraints...

Clingcon
 Referenced in 39 articles
[sw09892]
 Gecode. Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines ... level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over nonlinear...

NPSOL
 Referenced in 147 articles
[sw07420]
 set of Fortran 77 subroutines for minimizing a smooth function subject to constraints, which...

Zinc
 Referenced in 25 articles
[sw08334]
 provides arithmetic, finite domain and set constraints. Second, while Zinc is a relatively simple...

Benchmarks
 Referenced in 25 articles
[sw04612]
 described by complex constraints instead of sets that correspond to grid elements. Nevertheless, the method ... based on a welldefined set of constraints, on which one can run any constraint...

VAMPIRE
 Referenced in 258 articles
[sw02918]
 used to implement all major operations on sets of terms and clauses. Runtime algorithm ... some costly operations, e.g., checks of ordering constraints. Although the kernel of the system works...

BL data set
 Referenced in 26 articles
[sw08330]
 Constraint Propagation and Decomposition Techniques for Highly Disjunctive...