• Cardinal

  • Referenced in 10 articles [sw06999]
  • Cardinal: a finite sets constraint solver. In this paper we present Cardinal, a general finite ... sets constraint solver just made publicly available in ECLiPSe Constraint System, suitable for combinatorial problem ... deal with set variables and set constraints, existing set constraint solvers are not adequate ... magnitude over Conjunto, a previous available set constraint solver, which uses a more limited amount...
  • HAMPI

  • Referenced in 21 articles [sw09864]
  • languages and bounded context-free languages. Hampi constraints may contain context-free-language definitions, regular ... membership predicate. Given a set of constraints, Hampi outputs a string that satisfies...
  • clasp

  • Referenced in 103 articles [sw07095]
  • set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint ... clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning...
  • Skyblue

  • Referenced in 11 articles [sw07280]
  • multi-way local propagation, where constraints are represented by sets ... method procedures. To satisfy a set of constraints, a local propagation solver executes one method ... uses local propagation to maintain a set of constraints as individual constraints are added...
  • AQCS

  • Referenced in 15 articles [sw08109]
  • output for a given quantified constraint is a set of boxes on which the constraint ... true and a set of boxes on which the constraint is guaranteed to be false...
  • reducedLP

  • Referenced in 12 articles [sw04821]
  • linear program in standard form where the constraint matrix A is m×n, with ... set including the indices of M most nearly active (or most violated) dual constraints ... size of the reduced constraint set is decreased down to some threshold. In some cases...
  • BaPCod

  • Referenced in 20 articles [sw09871]
  • method: the input is the set of constraints and variables...
  • CVXR

  • Referenced in 19 articles [sw22020]
  • user specifies an objective and set of constraints by combining constants, variables, and parameters using...
  • topopt_multi

  • Referenced in 23 articles [sw25723]
  • objective functional, simultaneously satisfying the control constraints. In the second step, regularization step ... solution with respect to the set of control constraints. The presented algorithm could be accounted...
  • SBSAT

  • Referenced in 10 articles [sw00828]
  • including CNF formulas, but particularly sets of arbitrary boolean constraints, represented as BDDs. The approach ... input constraint. It also simplifies the set of constraints, using a tool set similar ... call SBSAT.par Because of its memoization of constraint-by-constraint lookahead information, besides incorporation...
  • SPGL1

  • Referenced in 196 articles [sw08365]
  • squares problem with an explicit one-norm constraint. Only matrix-vector operations are required ... finding method. Numerical experiments on a comprehensive set of test problems demonstrate that the method...
  • TetGen

  • Referenced in 183 articles [sw04046]
  • efficient tetrahedral mesh data structure, a set of enhanced local mesh operations (combination of flips ... inserting vertices, constrained Delaunay algorithms for inserting constraints (edges and triangles), a new edge recovery...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes ... computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials...
  • Pymanopt

  • Referenced in 24 articles [sw17844]
  • sense that the set of points which satisfy the constraints admits the structure...
  • isotone

  • Referenced in 34 articles [sw20811]
  • Pool-adjacent-violators algorithm (PAVA) and active set methods. In this paper we give ... separable convex function with simple chain constraints. Besides of general convex functions we extend existing ... problems with linear constraints we the develop a primal active set method to solve such...
  • AdaGrad

  • Referenced in 166 articles [sw22202]
  • modifying the proximal function, which significantly simplifies setting a learning rate and results in regret ... common and important regularization functions and domain constraints. We experimentally study our theoretical analysis...
  • ezcsp

  • Referenced in 11 articles [sw27479]
  • inference engine that allows computing extended answer sets of ASP programs, as defined in [bal09a ... integration of ASP and constraint programming (CP). An extended answer set of an ASP program ... solution to the constraint satisfaction problem (CSP) defined by such answer set ... specified) as ASP solver and BProlog as constraint solver. To specify other solvers, run ”ezcsp...
  • CALMA

  • Referenced in 106 articles [sw03235]
  • algorithms based on branch-and-cut and constraint satisfaction, and approximation techniques including a variety ... algorithms were tested and compared on a set of real-life instances...
  • Pyomo

  • Referenced in 70 articles [sw04910]
  • Pyomo includes Python classes for defining sparse sets, parameters, and variables, which can be used ... formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from...
  • LSSOL

  • Referenced in 17 articles [sw07785]
  • point with respect to a set of linear inequality constraints. LSSOL treats all matrices...