
SCIP
 Referenced in 536 articles
[sw01091]
 also a framework for constraint integer programming and branchcutandprice. It allows...

SDPT3
 Referenced in 697 articles
[sw04009]
 designed to solve conic programming problems whose constraint cone is a product of semideﬁnite cones...

MINOS
 Referenced in 458 articles
[sw05095]
 sparse linear and nonlinear programs. The objective function and constraints may be linear or nonlinear...

Oz
 Referenced in 117 articles
[sw06799]
 highlevel programming language combining constraint inference with concurrency. Typical application areas of Oz include ... constraints and has powerful primitives for programming constraint inference engines at a high level...

COMET
 Referenced in 80 articles
[sw03051]
 scheduling. Over the last two decades, constraint programming has emerged as a fundamental methodology ... variety of combinatorial problems, and rich constraint programming languages have been developed for expressing ... solving combinatorial optimization problems that combines constraint programming and local search, using constraints to describe ... search abstractions in the spirit of constraint programming. After an overview of local search including...

FEASPUMP
 Referenced in 132 articles
[sw04802]
 feasible solution of a given mixedinteger programming (MIP) model is a very important 𝒩𝒫 ... constraint propagationa basic tool in Constraint Programming. Extensive computational results on binary and general...

Genocop
 Referenced in 1099 articles
[sw04707]
 Zbigniew Michalewicz, is a genetic algorithmbased program for constrained and unconstrained optimization, written ... input parameters) of a function; additional linear constraints (equations and inequalities) can be specified ... preferably on a Sun SPARC machine). This program can also...

ELAN
 Referenced in 108 articles
[sw02179]
 design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... studying their combination. ELAN takes from functional programming the concept of abstract data types...

ILOG SCHEDULE
 Referenced in 74 articles
[sw21243]
 generic software tool for objectoriented constraint programming from ILOG. SOLVER variables and constraints ... hopedand expectedthat objectoriented constraint programming tools like SCHEDULE will enable the industry ... stateoftheart’ highly flexible, constraintbased scheduling applications...

Prolog
 Referenced in 70 articles
[sw06518]
 Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does ... efficient constraint solver over Finite Domains (FD). This opens contraint logic programming ... user combining the power of constraint programming to the declarativity of logic programming...

MiniZinc
 Referenced in 85 articles
[sw06261]
 adopted as a standard by the Constraint Programming community...

Smodels
 Referenced in 239 articles
[sw04631]
 encode the constraints of a problem as a logic program such that the answer sets...

MINTO
 Referenced in 135 articles
[sw04587]
 bound algorithm with linear programming relaxations. It also provides automatic constraint classification, preprocessing, primal heuristics ... constraint generation. Moreover, the user can enrich the basic algorithm by providing a variety ... size of the linear programs by managing active constraints. To be as flexible and powerful...

CONOPT
 Referenced in 168 articles
[sw02791]
 solving largescale nonlinear programs involving sparse nonlinear constraints. The paper will discuss strategic ... with other codes for largescale nonlinear programming from both an efficiency and a reliability ... especially true for models with fairly nonlinear constraints, particularly when it is difficult to attain...

MIPLIB
 Referenced in 328 articles
[sw04067]
 mixed integer (linear) program (mip) is an optimization problem in which a linear objective function ... linear constraints over real and integervalued variables. For details on mixed integer programming...

Surface Evolver
 Referenced in 107 articles
[sw36842]
 surfaces shaped by various forces and constraints. The program is available free of charge...

Optimization Toolbox
 Referenced in 305 articles
[sw10828]
 objectives while satisfying constraints. The toolbox includes solvers for linear programming, mixedinteger linear programming...

Quaffle
 Referenced in 66 articles
[sw07278]
 Conference on Principles and Practice of Constraint Programming (CP2002). Ithaca, NY, Sept...

Choco
 Referenced in 65 articles
[sw06254]
 constraint satisfaction problems (CSP) and constraint programming (CP). It is built on a eventbased...

YALMIP
 Referenced in 1033 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...