Results 1 to 20 of 105
Sort by:

  • GLOPTLAB
  • Referenced in 16 articles [sw02776]
  • rigorous global solution of quadratic constraint satisfaction problems. Global Optimization Laboratory is an easy ... development platform for solving quadratic constraint satisfaction problems, written in Matlab. All implemented methods...

  • ToulBar2
  • Referenced in 22 articles [sw07289]
  • Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean Optimization...

  • BARON
  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...

  • CCSP
  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...

  • FGb
  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...

  • GAP
  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...

  • GLOPT
  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...

  • INTBIS
  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...

  • Mathematica
  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...

  • Matlab
  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • MiniSat
  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • NAG
  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...

  • nauty
  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...

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

  • PARDISO
  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...

  • PROFIL/BIAS
  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

  • QEPCAD
  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...

  • R
  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...

  • Sostools
  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...