• ANSYS

  • Referenced in 654 articles [sw00044]
  • engineering design process by delivering efficiency, driving innovation and reducing physical constraints, enabling simulated tests...
  • SCIP

  • Referenced in 450 articles [sw01091]
  • MINLP). It is also a framework for constraint integer programming and branch-cut-and-price ... allows for total control of the solution process and the access of detailed information down...
  • Oz

  • Referenced in 113 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent systems ... exceptions and sequential threads synchronizing over a constraint store. It supports finite domain and feature...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • IBEX is a C++ library for constraint processing over real numbers. It provides reliable algorithms...
  • PANDA

  • Referenced in 33 articles [sw01122]
  • buckling modes are included as constraints in the optimization process, including general instability, panel instability...
  • Steerable pyramid

  • Referenced in 80 articles [sw14908]
  • that were then becoming popular for image processing (specifically, those representations are heavily aliased ... represent oblique orientations well). Once the orthogonality constraint is dropped, it makes sense to completely...
  • MineLib

  • Referenced in 14 articles [sw07469]
  • present value of the extracted ore; constraints include precedence and upper bounds on operational resource ... waste dump, i.e., discarded, or to a processing plant, i.e., to a facility that derives ... block, $(iii)$ average grade constraints at the processing plant, and $(iv)$ inventories of extracted...
  • Expokit

  • Referenced in 173 articles [sw00258]
  • Krylov subspace projection methods (Arnoldi and Lanczos processes), and that is why the toolkit ... computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials...
  • SOCS

  • Referenced in 124 articles [sw07737]
  • control problems. Applications include trajectory optimization, chemical process control and machine tool path definition. Sparse ... with more than 100,000 variables and constraints can now be solved efficiently on desktop...
  • IPSep-CoLa

  • Referenced in 9 articles [sw09789]
  • nodes. This simple class of linear constraints is expressive enough to satisfy a wide variety ... stress majorization force-directed layout process, separation constraints can be treated as a quadratic programming...
  • PSICO

  • Referenced in 10 articles [sw10910]
  • this paper we propose PSICO (Processing Structural Information with Constraint programming and Optimisation...
  • DEVEX

  • Referenced in 99 articles [sw08378]
  • After a fresh look at the iteration process, the author introduces dynamic column weighting factors ... error is observed. By allowing that a constraint may not be positioned so exactly...
  • 2-ANTBAL

  • Referenced in 11 articles [sw19724]
  • zoning, capacity, side and synchronism constraints of the assembly process. The main goal...
  • FULPAL

  • Referenced in 18 articles [sw09138]
  • soft constraints. The decision procedure is modelled as an interactive man-machine process, called FULPAL ... procedure for solving LP-problems with soft constraints, proposed by ZIMMERMANN [1978],[ROMMELFANGER 1983], [WERNERS...
  • SOPRA

  • Referenced in 7 articles [sw12607]
  • removed. The process of solving and removing of constraints is iterated till one reaches ... core set of consistent constraints. For SOLiD sequencer data, SOPRA uses a dynamic programming approach ... with very few errors introduced in the process. In general, the methodology presented here will...
  • SAR

  • Referenced in 10 articles [sw18800]
  • Aperture Radar Signal Processing with MATLAB Algorithms. This book establishes the constraints for acquiring...
  • CLP(Flex)

  • Referenced in 6 articles [sw28534]
  • Flex): Constraint Logic Programming Applied to XML Processing. In this paper we present an implementation ... constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms ... application of CLP(Flex) to XML-processing where XML documents are abstracted by terms with...
  • MUSCOD-II

  • Referenced in 18 articles [sw13053]
  • path constraints. Furthermore, a unique multistage formulation allows to optimize integrated batch processes consisting...
  • DynIbex

  • Referenced in 2 articles [sw33002]
  • library which is a library for constraint processing over real numbers. DynIbex offers...
  • BEE

  • Referenced in 8 articles [sw16989]
  • finite domain constraint problems to CNF. Using BEE both eases the encoding process...