• ILOG SCHEDULE

  • Referenced in 77 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 ... constraints can be accessed from SCHEDULE activities and resources. As a result, SCHEDULE users ... state-of-the-art’ highly flexible, constraint-based scheduling applications...
  • COMET

  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial optimization problems in our society is illustrated ... management to sports tournament scheduling. Over the last two decades, constraint programming has emerged ... modeling and search components of constraint-based local search and describes how constraint-based local ... satisfiability problems, illustrating the ability of constraint-based local search approaches to cope with both...
  • ZDC

  • Referenced in 1 article [sw10499]
  • been demonstrated to be extremely effective on scheduling. Unfortunately, they require non-trivial expertise ... describes ZDC-rostering, a constraint-based tool for personnel scheduling that addresses the software crisis ... easier to use than the above constraint-based solvers and more effective than Microsoft...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • programming language design and implementation, constraint-based inference, distributed computing, and human-computer interfaces ... based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming ... natural language understanding and knowledge representation, in scheduling and time-tabling, and in placement...
  • Coq

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

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

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

  • Referenced in 269 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 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SCIP

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

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

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

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

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

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

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...