
YALMIP
 Referenced in 971 articles
[sw04595]
 mixed integer programming, multiparametric programming, geometric programming The main features of YALMIP are: Easy ... started. Easy to use : you define your constraints and objective functions using intuitive and standard...

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

CHIP
 Referenced in 80 articles
[sw03450]
 cuttingstock problem with the constraint logic programming language CHIP...

SNOPT
 Referenced in 528 articles
[sw02300]
 largescale constrained optimization. Sequential quadratic programming (SQP) methods have proved highly effective for solving ... smooth nonlinear functions in the objective and constraints. Here we consider problems with general inequality...

OPL
 Referenced in 33 articles
[sw21239]
 modeling language for mathematical programming and combinatorial optimization. It is the first language to combine ... from mathematical modeling languages with a rich constraint language and the ability to specify search ... strategies that are the essence of constraint programming. This paper describes the facilities available ... implement traditional search procedures in constraint programming and scheduling...

PARPAP
 Referenced in 32 articles
[sw30926]
 respect a variety of hard and soft constraints, and preferences. Additionally, home health care problems ... optimization kernel, a combination of linear programming, constraint programming, and (meta)heuristics for the home ... adapt to various changes in the constraint structure, thus providing the flexibility needed...

Gecode
 Referenced in 64 articles
[sw06272]
 based systems and applications. Gecode provides a constraint solver with stateoftheart performance ... open. Gecode is radically open for programming: it can be easily interfaced ... other systems. It supports the programming of new constraints, branching strategies, and search engines ... variable domains can be programmed at the same level of efficiency as the variables that...

NPSOL
 Referenced in 147 articles
[sw07420]
 NPSOL 5.0: Fortran package for nonlinear programming. NPSOL is a set of Fortran 77 subroutines ... minimizing a smooth function subject to constraints, which may include simple bounds on the variables ... provides subroutines to define the objective and constraints functions and (optionally) their first derivatives. NPSOL ... problem size. NPSOL uses a sequential quadratic programming (SQP) algorithm, in which each search direction...

MacMPEC
 Referenced in 80 articles
[sw06973]
 contains a collection of Mathematical Programs with Equilibrium Constraints (MPEC) test problems in AMPL...

KNITRO
 Referenced in 184 articles
[sw00490]
 problems with complementarity constraints (MPCCs or MPECs), and mixedinteger programming (MIPs), particular convex mixed...

SALSA
 Referenced in 30 articles
[sw02661]
 Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... local search, yielding hybrid algorithms with constraints. Such combinations lack a language supporting an elegant ... retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated...

RSOLVER
 Referenced in 71 articles
[sw04334]
 RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution...

CCPi
 Referenced in 29 articles
[sw15033]
 ConstraintBased Language for Specifying Service Level Agreements. Service Level Agreements are a key issue ... requirements. Our language combines two basic programming ... paradigms: namepassing calculi and concurrent constraint programming (cc programming). Specifically, we extend cc programming ... mechanism of constraint combination. We give reductionpreserving translations of both cc programming...

NLPQL
 Referenced in 130 articles
[sw08457]
 quadratic programming method for solving nonlinearly constrained optimization problems with differentiable objective and constraint functions...

LSSPER
 Referenced in 29 articles
[sw02485]
 exact solution approach (using either constraint programming techniques or mathematical programming techniques). Hence, the method...

Mozart
 Referenced in 20 articles
[sw04759]
 decade of research in programming language design and implementation, constraintbased inference, distributed computing ... which supports declarative programming, objectoriented programming, constraint programming, and concurrency as part...

Clingcon
 Referenced in 34 articles
[sw09892]
 answer set solver for (extended) constraint normal logic programs. It combines the highlevel modeling ... capacities of Answer Set Programming (ASP) with constraint solving. Constraints over nonlinear finite integers...

QUICKXPLAIN
 Referenced in 28 articles
[sw28625]
 explanation facility of a principal industrial constraint programming tool, which is, for example, used...

ARMC
 Referenced in 27 articles
[sw04949]
 constraintbased programming language may lead to an elegant and concise implementation of a practical ... Using a Prolog system together with Constraint Logic Programming extensions as the implementation platform...

Elf
 Referenced in 43 articles
[sw21361]
 MetaLanguage. Elf is a constraint logic programming language based on the LF Logical Framework...