• Genocop

  • Referenced in 1014 articles [sw04707]
  • unconstrained optimization, written in C. The Genocop system aims at finding a global optimum (minimum ... input parameters) of a function; additional linear constraints (equations and inequalities) can be specified ... without changes on any BSD-UN*X system (preferably on a Sun SPARC machine). This...
  • ILOG SCHEDULE

  • Referenced in 57 articles [sw21243]
  • library for the development of constraint-based scheduling systems. It has been argued that ... constraint-based techniques and tools enables the implementation of precise, flexible efficient and extensible scheduling ... flexible as the system can take into account any constraint expressible in the constraint language ... framework) only an extension to the constraint system or, in the worst case, the implementation...
  • AUTO

  • Referenced in 736 articles [sw01059]
  • systems of ordinary differential equations of the form ... initial conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...
  • MINOS

  • Referenced in 432 articles [sw05095]
  • system, for the solution of sparse linear and nonlinear programs. The objective function and constraints...
  • CSDP

  • Referenced in 178 articles [sw00169]
  • constraint matrices. CSDP has been compiled on many different systems. The code should work...
  • PPL

  • Referenced in 86 articles [sw05357]
  • polyhedra that are described by systems of constraints where strict inequalities are allowed to occur...
  • VAMPIRE

  • Referenced in 200 articles [sw02918]
  • checks of ordering constraints. Although the kernel of the system works only with clausal normal...
  • Gecode

  • Referenced in 53 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint ... interfaced to other systems. It supports the programming of new constraints, branching strategies, and search ... parts including reference documentation, implementations of global constraints, and examples are available as source code ... parallel search, giving an already efficient base system an additional edge. tested Gecode uses...
  • PHAVer

  • Referenced in 105 articles [sw04123]
  • exact verification of safety properties of hybrid systems with piecewise constant bounds on the derivatives ... based on user-definable constraints and the dynamics of the system. PHAVer’s exact arithmetic ... conservatively limit the number of bits and constraints of polyhedra. Experimental results for a navigation...
  • Numerica

  • Referenced in 43 articles [sw21227]
  • user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function ... subject to nonlinear constraints. The field of global optimization is the study of methods ... find all solutions to systems of nonlinear constraints and all global optima to optimization problems...
  • MPT

  • Referenced in 179 articles [sw04732]
  • systems with persistent additive and polytopic uncertainties. Users can add custom constraints, such as polytopic...
  • AUTO-86

  • Referenced in 259 articles [sw04220]
  • Rnand of systems of ordinary differential equations of the formu ... initial conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...
  • NLPQLP

  • Referenced in 37 articles [sw04073]
  • Lagrangian function and a linearization of constraints, a quadratic programming subproblem is formulated and solved ... nodes of the distributed system, objective and constraint functions can be evaluated simultaneously at predetermined...
  • Smodels

  • Referenced in 228 articles [sw04631]
  • Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... idea of ASP is to encode the constraints of a problem as a logic program...
  • BARON

  • Referenced in 264 articles [sw00066]
  • BARON is a computational system for solving nonconvex optimization problems to global optimality. Purely continuous ... Navigator derives its name from its combining constraint propagation, interval analysis, and duality...
  • INTOPT_90

  • Referenced in 294 articles [sw04705]
  • solution intervals. The chapter about solving nonlinear systems of equations (23 pages) features a rather ... global optimization (40 pages) only admits equality constraints (within a box frame). The solution procedures...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • including most previously proposed systems. However, even with this constraint and simple image features, PicHunter ... performance of current image database retrieval systems can be improved by incorporation of the techniques...
  • LATIN

  • Referenced in 15 articles [sw19699]
  • theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers. Unfortunately, these systems...
  • Benchmarks

  • Referenced in 22 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... safety verification of non-linear hybrid systems. We start from a classical method that uses ... developing an additional refinement step that employs constraint propagation to add information to the abstraction...
  • IMITATOR

  • Referenced in 21 articles [sw00439]
  • present here Imitator, a tool for synthesizing constraints on timing bounds (seen as parameters ... system is known to behave properly. Our aim is to generate a constraint such ... that, under any valuation satisfying this constraint, the system is guaranteed to behave, in terms...