
GraphBacktracking
 Referenced in 1 article
[sw39581]
 techniques are inspired by and generalise `partition backtrack’, which is the current state ... ordered partitions, we use labelled directed graphs to organise our backtrack search algorithms, which allows...

BacktrackKit
 Referenced in 1 article
[sw39582]
 simple implementation of Leon’s partition backtrack framework...

RNA2Dfold
 Referenced in 2 articles
[sw11716]
 structures of k,l neighborhoods. The program partitions the secondary structure space into (basepair)distance ... backtracking routine allows to produce samples of representative suboptimal secondary structures from each partition...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

csat
 Referenced in 8 articles
[sw00168]
 Parallelizing modern SAT solvers for clusters such as...

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

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HSL
 Referenced in 275 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

Magma
 Referenced in 3091 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5253 articles
[sw00545]
 The result of over 30 years of cutting...

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

nauty
 Referenced in 587 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NITSOL
 Referenced in 93 articles
[sw00623]
 We introduce a welldeveloped Newton iterative (truncated...

QAPLIB
 Referenced in 227 articles
[sw00751]
 A collection of electronically available data instances for...

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

REDUCE
 Referenced in 743 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

TSPLIB
 Referenced in 679 articles
[sw00983]
 TSPLIB is a library of sample instances for...

Cayley
 Referenced in 131 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...