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

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

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

FEASPUMP
 Referenced in 81 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...

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

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

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

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

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

SHOT
 Referenced in 1 article
[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...

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

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

GRASS
 Referenced in 2 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...

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

PLuTo
 Referenced in 2 articles
[sw09621]
 transformation framework that can optimize regular programs (sequences of possibly imperfectly nested loops) for parallelism ... fully automatic one driven by an integer linear optimization framework that takes an explicit view ... empirical/iterative optimization for general arbitrarily nested loop sequences...

MathProgBase
 Referenced in 0 articles
[sw17625]
 shot functions for linear and mixedintege programming (linprog and mixintprog), as well ... advanced techniques that require efficiently solving a sequence of linear programming problems...

Ssreflect.fintype
 Referenced in 1 article
[sw21574]
 finitely many elements, supplying a duplicatefree sequence of all the elements ... computational interpretation due to the wasteful Peano integer encodings. Because the Countable interface is closely...