
OEIS
 Referenced in 2758 articles
[sw07248]
 Line Encyclopedia of Integer Sequence. The main use for the OEIS is to identify...

XPath
 Referenced in 358 articles
[sw15780]
 atomic values such as integers, strings, and booleans, and sequences that may contain both references...

RLangGFun
 Referenced in 6 articles
[sw14280]
 regular language) of certain positive integer sequences that are defined by Cfinite recurrences...

FEASPUMP
 Referenced in 107 articles
[sw04802]
 feasible solution of a given mixedinteger programming (MIP) model is a very important 𝒩𝒫 ... clever way to round a sequence of fractional solutions of the LP relaxation, until ... Extensive computational results on binary and general integer MIPs from the literature show that...

BijectiveRules
 Referenced in 5 articles
[sw13551]
 explore a class of integer sequences characterizing the nested structure. We also prove an observation...

GloMIQO
 Referenced in 55 articles
[sw06266]
 constrained quadratic programs. Major applications of mixedinteger quadraticallyconstrained quadratic programs (MIQCQP) include quality ... networks optimization problems include: pooling problems, distillation sequences, wastewater treatment and total water systems, hybrid...

Guess
 Referenced in 6 articles
[sw09215]
 first few terms of a sequence of, say, integers, what is the next term, what...

IntegerSequences
 Referenced in 2 articles
[sw25549]
 Mathematica package for computing with integer sequences. Its support for kregular sequences includes basic...

AFS.txt
 Referenced in 2 articles
[sw21288]
 wide class of numbertheoretical integer sequences whose generating functions satisfy a certain type...

SHOT
 Referenced in 3 articles
[sw15630]
 deterministic algorithm for solving convex mixedinteger nonlinear programming (MINLP) problems is presented in this ... nonlinear constraints. A sequence of linear or quadratic integerrelaxed subproblems are first solved ... obtained the algorithm solves a sequence of mixedinteger linear programming or mixedinteger quadratic...

Qstream
 Referenced in 1 article
[sw13491]
 integration with the online encyclopedia of integer sequences...

DFL
 Referenced in 15 articles
[sw05163]
 approximated explicitly. This class of mixed integer nonlinear optimization problems arises frequently in many industrial ... satisfied by the limit points of the sequences they produce...

tuftests
 Referenced in 4 articles
[sw26318]
 output as a sequence of independent, uniform 32bit integers. For uses where the output...

Algolib
 Referenced in 2 articles
[sw04111]
 integration of special functions and combinatorial sequences. Special emanations of the above are the Algolib ... form or by the first integers in the enumeration sequence to many combinatorial structures...

GRASS
 Referenced in 4 articles
[sw12609]
 generation sequencing assemblies capable of using diverse information sources. GRASS offers a mixedinteger programming ... data, in the form of related genome sequences, are used. Availability: GRASS source code...

RegStab
 Referenced in 2 articles
[sw00794]
 interpreted as integers). Our system allows one to check the satisfiability of sequences of formulae...

DMP
 Referenced in 1 article
[sw19259]
 positive integers, and for computing the beginning of the hardtocount sequence enumerating unrestricted...

IPknot
 Referenced in 2 articles
[sw17124]
 maximizing expected accuracy is solved by using integer programming with threshold cut. We also extend ... secondary structure with pseudoknots when a multiple sequence alignment is given. IPknot is validated through...

GRAPPA
 Referenced in 10 articles
[sw17255]
 include distancebased methods, parsimony methods using sequencebased encodings, and direct optimization. The latter ... spirit of GESTALT). Our method generates an integer linear program with a carefully limited number...

iMUSIC
 Referenced in 1 article
[sw27869]
 significantly better estimation accuracies for applications with integer periods. These advantages are demonstrated on examples ... that include repeats in protein and DNA sequences. The iMUSIC algorithms are based...