
FreeFem++
 Referenced in 947 articles
[sw01436]
 several branches of physics such as fluidstructure interactions require interpolations of data on several...

ABACUS
 Referenced in 115 articles
[sw02948]
 list of different enumeration and branching strategies from which the best alternative for the user ... chosen. Finally, ABACUS provides many basic data structures and useful tools for the implementation...

bcprod
 Referenced in 42 articles
[sw10663]
 prod: a specialized branchandcut system for lotsizing problems. bcprod ... demand data, etc. The problem is then solved by the XPRESSMP branchandbound...

QNet
 Referenced in 11 articles
[sw19662]
 topologies for a given data set, together with a branch length for each topology. These ... branch lengths must be precomputed by the user. Included in the package are two simple ... applications for generating quartet weight data. GWeight utilizes statistical geometry [2] to generate quartet weights...

PAUP*
 Referenced in 49 articles
[sw07834]
 computer analysis of molecular, morphological and/or behavioral data to infer phylogenetic relationships has expanded well ... predecessors. In addition, the speed of the branchandbound algorithm has been enhanced ... agreement subtrees to tests for combinability of data and permutation tests for nonrandomness of data...

XDuce
 Referenced in 53 articles
[sw12436]
 programming language for XML processing. Its basic data values are XML documents, and its types ... regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction, as well...

FindSteinerTree
 Referenced in 12 articles
[sw08245]
 This algorithm uses a branchandbound approach. It will therefore find the optimal tree ... increases very rapidly with increasing numbers of data points. Smith’s algorithm uses Euclidean distance ... data points entered with tree that has the shortest possible sum of branch lengths measured...

NaCl
 Referenced in 7 articles
[sw09914]
 load addresses; no data flow from secrets to branch conditions; no padding oracles; centralizing randomness...

QuBE++
 Referenced in 26 articles
[sw00766]
 first QBF reasoning engine that uses lazy data structures both for unit clauses propagation ... also features nonchronological backtracking and a branching heuristic that leverages the information gathered during...

CVXGEN
 Referenced in 37 articles
[sw07151]
 time applications. The generated code is almost branch free, and so has highly predictable ... yields reliable performance, even with poor quality data. In this paper we describe how CVXGEN...

SNOBFIT
 Referenced in 17 articles
[sw05289]
 SNOBFIT (Stable Noisy Optimization by Branch and FIT) is a MATLAB 6 package ... possible to use SNOBFIT with new data entered by hand, or by any automatic ... optimizing some userspecified criterion. Since multiple data points can be entered, SNOBFIT can take ... parallel function evaluations. The method combines a branching strategy to enhance the chance of finding...

ECOS
 Referenced in 31 articles
[sw12123]
 integer variables by employing a simple branch and bound technique. ECOS is written entirely ... algebra computations operating on the (sparse) problem data. As a consequence, it can be used...

OGDF
 Referenced in 27 articles
[sw04102]
 using a dedicated module mechanism. Sophisticated data structures that are commonly used in graph drawing ... additional libraries (except for some optional branchandcut algorithms). Portable C++code that supports...

ALPS
 Referenced in 13 articles
[sw00036]
 scalable manner is challenging both because of data storage requirements and communication overhead. ALPS incorporates ... ALPS. The first is the Branch, Constrain, and Price Software (BiCePS) library, a framework that ... supports the implementation of parallel branch and bound algorithms in which the bounds are obtained ... this layer, the notion of global data objects associated with the variables and constraints...

deBWT
 Referenced in 1 article
[sw23947]
 large collection of genomes with de Bruijnbranch encoding. MOTIVATION: With the development of high ... BurrowsWheeler Transform (BWT) is an important data structure of genome indexing, which has many ... construction. RESULTS: We propose de Bruijn branchbased BWT constructor (deBWT), a novel parallel ... novel data structure, de Bruijn branch encoding. This data structure takes the advantage...

propr
 Referenced in 1 article
[sw15745]
 metric, phi, derived from compositional data analysis, a branch of math dealing specifically with relative...

Jakstab
 Referenced in 4 articles
[sw25254]
 control flow graph. Data flow information is used to resolve branch targets and discover...

WinGULF
 Referenced in 14 articles
[sw19224]
 problems, current bound, branching variables and appropriate branching constraints. See more detailed information here ... variables may be integer). Data can be entered in a spreadsheet styled editor within WinGULF ... B.Martos[1] with various pivoting rules and branchandbound procedure (with various searching strategies...

pico ql
 Referenced in 2 articles
[sw13847]
 access the application’s data structures in place. This branch contains releases of the generic ... applications, PiCO QL supports querying of data structures like arrays and linked lists (see examples/CApp...

SCIPSDP
 Referenced in 4 articles
[sw15618]
 branch and bound framework. It provides a lot of data handling, some presolve routines...