• Chaff

  • Referenced in 579 articles [sw06916]
  • describe the development of a new complete solver, Chaff, which achieves significant performance gains through ... search - especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel ... difficult SAT benchmarks in comparison with other solvers (DP or otherwise), including GRASP and SATO...
  • SNOPT

  • Referenced in 532 articles [sw02300]
  • first derivatives are available and that the constraint gradients are sparse. We discuss ... particular implementation that makes use of a semidefinite QP solver. It is based ... designed for problems with many thousands of constraints and variables but a moderate number...
  • ILOG SCHEDULE

  • Referenced in 71 articles [sw21243]
  • system or, in the worst case, the implementation of additional decision-making modules (without needs ... scheduling constraints in terms of ’resources’ and ’activities’. ILOG SCHEDULE is based on SOLVER ... make use of SOLVER to represent specific constraints, and implement and combine the specific problem...
  • ICOS

  • Referenced in 16 articles [sw04007]
  • software package called Interval Constraint Solver (ICOS), which implements a branch and bound algorithm ... ICOS library contains algorithms coming from constraint programming, interval analysis, and linear relaxation techniques ... interface to linear programming solvers and local optimization solvers (e.g. Coin/Clp, Cplex, and IpOpt). ICOS ... give an overview of ICOS design, implementation, and a quick user’s guide...
  • Benchmarks

  • Referenced in 25 articles [sw04612]
  • easily implemented since it is based on a well-defined set of constraints, on which ... constraint propagation based solver. First tests of such an implementation are promising...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • graphs as inputs. Moreover, an efficient constraint solver is proposed to facilitate incremental generation ... such test inputs. Finally, CUTE, a tool implementing the method is described together with...
  • WASP

  • Referenced in 53 articles [sw09565]
  • solver based on constraint learning. This paper introduces WASP, an ASP solver handling disjunctive logic ... programs under the stable model semantics. WASP implements techniques originally introduced for SAT solving that ... programs. Among them are restarts, conflict-driven constraint learning and backjumping. Moreover, WASP combines these...
  • MINION

  • Referenced in 50 articles [sw10176]
  • purpose constraint solver, with an expressive input language based on the common constraint modelling device ... matrix models supports a lean, highly-optimised implementation. This contrasts with current constraint toolkits, which...
  • iProver

  • Referenced in 49 articles [sw09707]
  • solver can be integrated into our framework. iProver incorporates state-of-the-art implementation techniques ... saturation algorithms. Redundancy elimination implemented in iProver include: dismatching constraints, blocking non-proper instantiations...
  • CP Optimizer

  • Referenced in 4 articles [sw38499]
  • ILOG CP Optimizer is a constraint solver that implements a model-and-run paradigm ... present the relaxation of most of the constraints and expressions of the model. An experimental...
  • IR Tools

  • Referenced in 48 articles [sw26721]
  • related purposes: we provide implementations of a range of iterative solvers, including several recently proposed ... discretizations of 2D linear inverse problems. The solvers include iterative regularization methods where the regularization ... impose bound constraints on the computed solutions. All the iterative methods are implemented...
  • HiRise

  • Referenced in 7 articles [sw36184]
  • this algorithm, the HiRise constraint solver has been designed and implemented ... scalable up to thousands of simultaneous constraints in real-time execution...
  • MatSol

  • Referenced in 24 articles [sw12419]
  • MatSol: MATLAB efficient solvers for problems in engineering. The algorithms implemented in MatSol library ... supported. Matsol library serves as a referential implementation of those algorithms. Variants of FETI ... bounds that are independent of conditioning of constraints and the results are valid even...
  • BDDC

  • Referenced in 30 articles [sw07232]
  • Parallel implementation of multilevel BDDC In application of the Balancing Domain Decomposition by Constraints (BDDC ... bottleneck which spoils scalability of the solver. However, it is straightforward for BDDC to substitute ... detailed description of a recently developed parallel implementation of this algorithm. The implementation is applied...
  • LATIN

  • Referenced in 15 articles [sw19699]
  • implemented in systems like (semi-)automated theorem provers, model checkers, computer algebra systems, constraint solvers...
  • Pueblo

  • Referenced in 30 articles [sw00743]
  • Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability ... plane technique to draw inferences among PB constraints and combine it with generic implication graph ... learning and backjumping strategy for analyzing PB constraints and CNF clauses in order to simultaneously ... details of the MiniSAT-based implementation of our solver Pueblo to enable the reader...
  • Gecode

  • Referenced in 65 articles [sw06272]
  • systems and applications. Gecode provides a constraint solver with state-of-the-art performance while ... systems. It supports the programming of new constraints, branching strategies, and search engines. New variable ... features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • Juno-2, a constraint-based graphical illustrator implemented by Allan Heydon and Greg Nelson ... first idea underlying Juno-2 is that constraint-based programming is obtained from ordinary imperative ... also be used to combine constraint solvers for two logical theories into a single constraint ... only to an implementation of unification closure) with a sophisticated numerical solver for the theory...
  • SMCHR

  • Referenced in 2 articles [sw09322]
  • programming language for specification and implementation of constraint solvers. CHR manipulates a global store representing ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration ... with a modern Boolean satisfiability (SAT) solver for quantifier-free formulae with an arbitrary propositional ... satisfiability modulo theories (SMT) solver where the theory T is implemented in CHR. The execution...
  • Rex

  • Referenced in 5 articles [sw11888]
  • analyzing regular expression constraints. Rex is implemented using the SMT solver Z3, and we provide...