• 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 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SCIP

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

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

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

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

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

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

  • Referenced in 181 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...
  • MaxHS

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