• LPG

  • Referenced in 12 articles [sw20690]
  • using a parametrized function, where the parameters weight different types of inconsistencies in the current ... search using discrete Lagrange multipliers. The evaluation function uses some heuristics to estimate the ”search ... precedence graph” that is maintained during search, and that takes into account the mutex relations ... more criteria. This is achieved by an anytime process producing a sequence of plans, each...
  • Paramils

  • Referenced in 70 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • TSPLIB

  • Referenced in 665 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

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

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

  • Referenced in 208 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • Concorde

  • Referenced in 303 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • SATzilla

  • Referenced in 86 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It...
  • ToulBar2

  • Referenced in 22 articles [sw07289]
  • Toulbar2 is an exact discrete optimization c++ open...
  • irace

  • Referenced in 87 articles [sw08008]
  • The irace Package: Iterated Race for Automatic Algorithm...
  • DIMACS

  • Referenced in 530 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • C4.5

  • Referenced in 1127 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...
  • BRENT

  • Referenced in 421 articles [sw14021]
  • BRENT Algorithms for Minimization Without Derivatives. BRENT is...
  • mplp2

  • Referenced in 6 articles [sw21188]
  • Efficiently Searching for Frustrated Cycles in MAP Inference...
  • DAOOPT

  • Referenced in 3 articles [sw21189]
  • DAOOPT: Distributed AND/OR Optimization. An implementation of sequential...