• 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...