• MCS

  • Referenced in 9 articles [sw02814]
  • MCS---a new algorithm for multicriteria optimisation in...
  • ABACUS

  • Referenced in 116 articles [sw02948]
  • ABACUS is a software system written in C...
  • MIPLIB

  • Referenced in 319 articles [sw04067]
  • A mixed integer (linear) program (mip) is an...
  • CPLEX

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

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

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

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • PBS

  • Referenced in 38 articles [sw04622]
  • Reads as input both: CNF constraints, PB constraints...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • PROXIMUS

  • Referenced in 11 articles [sw04989]
  • PROXIMUS: Software for Summarization of Very High Dimensional...
  • JBool

  • Referenced in 110 articles [sw06185]
  • This software promotes some general and useful tools...
  • SATzilla

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

  • Referenced in 86 articles [sw06347]
  • SPOT: Sequential Parameter Optimization , R-Package for Sequential...
  • Chaff

  • Referenced in 579 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • BerkMin

  • Referenced in 160 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We...
  • Potassco

  • Referenced in 76 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...