• Numerica

  • Referenced in 46 articles [sw21227]
  • that makes it possible to state nonlinear problems in a form close to the statements ... traditional numerical methods such as interval and local methods, and constraint satisfaction techniques.This comprehensive presentation ... Numerica effectively to solve practical problems and reports a number of experimental results.A commercial implementation...
  • ChainSAT

  • Referenced in 7 articles [sw09444]
  • Circumspect descent prevails in solving random constraint satisfaction problems. We study the performance of stochastic ... instances of the K-satisfiability (K-SAT) problem. We present a stochastic local search algorithm ... moves in the energy landscape of a problem instance by never going upwards in energy ... unsatisfied clauses. We show by extensive numerical investigations that ChainSAT and other focused algorithms solve...
  • InC++

  • Referenced in 3 articles [sw22627]
  • complement” and discontinuous intervals. Both algebraic and numerical IA techniques are combined for obtaining ... better than local solutions for interval constraint satisfaction problems. Our practical goal...
  • DOC-BRelax

  • Referenced in 1 article [sw27493]
  • described as Distributed Constraint Satisfaction Problems (DCSPs), where the goal is to find ... that satisfies all constraints among agents. However, when real-life application problems are formalized ... have no solution that satisfies all constraints. Moreover, the globalization of the economy and democratization ... algorithm for solving Distributed Maximal Constraint Satisfaction Problems (DMCSPs...
  • BARON

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

  • Referenced in 7 articles [sw00170]
  • CsegGraph: a graph colouring instance generator. The implementation...
  • FGb

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

  • Referenced in 2702 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...
  • LEDA

  • Referenced in 258 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Mathematica

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

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

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

  • Referenced in 374 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

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

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

  • Referenced in 257 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • PROFIL/BIAS

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