Results 21 to 40 of 85
Sort by:

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