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

XPath
 Referenced in 356 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 101 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...

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

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

GloMIQO
 Referenced in 43 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...

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...

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

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

DFL
 Referenced in 13 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...

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 3 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 9 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...

IRanges
 Referenced in 1 article
[sw24832]
 package IRanges: Infrastructure for Manipulating Intervals on Sequences. Provides efficient lowlevel and highly reusable ... manipulating and aggregating over annotated ranges of integers. Implements an algebra of range operations, including...

Salsa
 Referenced in 4 articles
[sw25430]
 algorithms and a constraint solver for integer linear arithmetic, for discharging the verification conditions ... counterexample and not an execution sequence. Also, due to the incompleteness of induction, users must...