• SCIP

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

  • Referenced in 30 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization...
  • UBCSAT

  • Referenced in 40 articles [sw02614]
  • UBCSAT: An implementation and experimentation environment for SLS...
  • MCS

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

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

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

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

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

  • Referenced in 179 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • Walksat

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

  • Referenced in 197 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 240 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • SATIRE

  • Referenced in 40 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce...