
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 Ksatisfiability (KSAT) 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...

DOCBRelax
 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 reallife 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 highlevel language and interactive...

MiniSat
 Referenced in 521 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

nauty
 Referenced in 533 articles
[sw00611]
 graphtheoretic 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 threadsafe, high...

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