• OEIS

  • Referenced in 2568 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 C-finite 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 92 articles [sw04802]
  • feasible solution of a given mixed-integer 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...
  • AFS.txt

  • Referenced in 2 articles [sw21288]
  • wide class of number-theoretical integer sequences whose generating functions satisfy a certain type...
  • GloMIQO

  • Referenced in 43 articles [sw06266]
  • constrained quadratic programs. Major applications of mixed-integer quadratically-constrained 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...
  • 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 mixed-integer nonlinear programming (MINLP) problems is presented in this ... nonlinear constraints. A sequence of linear or quadratic integer-relaxed subproblems are first solved ... obtained the algorithm solves a sequence of mixed-integer linear programming or mixed-integer 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...
  • GRASS

  • Referenced in 3 articles [sw12609]
  • generation sequencing assemblies capable of using diverse information sources. GRASS offers a mixed-integer 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 hard-to-count 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 distance-based methods, parsimony methods using sequence-based 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 low-level and highly reusable ... manipulating and aggregating over annotated ranges of integers. Implements an algebra of range operations, including...
  • 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 mixed-intege programming (linprog and mixintprog), as well ... advanced techniques that require efficiently solving a sequence of linear programming problems...