Results 1 to 11 of 11
Sort by:

  • ARGUS
  • Referenced in 2 articles [sw03034]
  • enforced environmental requirements, and therefore a cost-optimal transformation is essential for the economic ... implemented for various European Countries. The resulting cost functions for various scenarios are essential ... multi-national allocation of emission reductions. Cost-discounting effects and the temporal pathway ... emission reduction options within a given planning horizon (up to 2020) are considered. The results...

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

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

  • CP-nets
  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...

  • SeDuMi
  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...

  • CUDD
  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...

  • Uppaal
  • Referenced in 654 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...

  • plasp
  • Referenced in 10 articles [sw07080]
  • plasp: A prototype for PDDL-based planning in...

  • Graphplan
  • Referenced in 186 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...

  • MaxHS
  • Referenced in 25 articles [sw21187]
  • MaxHS is a fast solver for a variety...