• COMET

  • Referenced in 72 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial optimization problems in our society is illustrated ... programming and local search, using constraints to describe and control local search, and a programming ... modeling and search components of constraint-based local search and describes how constraint-based local ... problems, illustrating the ability of constraint-based local search approaches to cope with both satisfiability...
  • Kangaroo

  • Referenced in 3 articles [sw13503]
  • Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. In this paper ... introduce Kangaroo, a constraint-based local search system. While existing systems such as Comet maintain...
  • ConArg2

  • Referenced in 5 articles [sw22084]
  • constraint-based systems and applications. The properties required by semantics are encoded into constraints ... valid extension for that semantics. Searching for solutions of problems (as enumerating extensions or checking ... takes advantage of well-known techniques as local consistency, different heuristics for trying to assign...
  • ZDC

  • Referenced in 1 article [sw10499]
  • constraint-based solvers and more effective than Microsoft’s Excel Solver. ZDC-rostering is based ... open-source computer-aided constraint programming package called ZDC, which decouples problem formulation (or modelling ... constraint satisfaction. ZDC is equipped with a set of constraint algorithms, including Extended Guided Local ... Search, whose efficiency and effectiveness have been demonstrated in a wide range of applications...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ManySAT

  • Referenced in 32 articles [sw00544]
  • ManySAT: a parallel SAT solver. ManySAT, a new...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PSPLIB

  • Referenced in 253 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • QOCA

  • Referenced in 30 articles [sw00756]
  • We describe an object-oriented constraint solving toolkit...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • SCIP

  • Referenced in 472 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • SPADE

  • Referenced in 87 articles [sw02226]
  • In this paper we present SPADE, a new...
  • PSATO

  • Referenced in 40 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • ANTLR

  • Referenced in 58 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • CHIP

  • Referenced in 79 articles [sw03450]
  • Solving a cutting-stock problem with the constraint...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...