• 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 468 articles [sw04089]
  • METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes ... recursive-bisection, multilevel k-way, and multi-constraint partitioning schemes developed...
  • ANSYS

  • Referenced in 704 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 fixed-point operators, constraint propagation and local consistency techniques, local optimization...
  • QSDPNAL

  • Referenced in 33 articles [sw18799]
  • inequality constraints, a simple convex polyhedral set constraint, and a positive semidefinite cone constraint...
  • D-ADMM

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

  • Referenced in 1066 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...
  • 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 non-linear...
  • 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 well-defined 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. Run-time 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...