Displaying similar documents to “Polytypic functions over nested datatypes.”

Column-Generation in Integer Linear Programming

Nelson Maculan, Marcos de Mendonça Passini, José André de Moura Brito, Irene Loiseau (2010)

RAIRO - Operations Research

Similarity:

We present an exact method for integer linear programming problems that combines branch and bound with column generation at each node of the search tree. For the case of models involving binary column vectors only, we propose the use of so-called geometrical cuts to be added to the subproblem in order to eliminate previously generated columns. This scheme could be applied to general integer problems without specific structure. We report computational results on a successful application...

Cauchy type functional equations related to some associative rational functions

Katarzyna Domańska (2019)

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

Similarity:

L. Losonczi [4] determined local solutions of the generalized Cauchy equation f(F(x, y))= f(x) + f(y) on components of the denition of a given associative rational function F. The class of the associative rational function was described by A. Chéritat [1] and his work was followed by paper [3] of the author. The aim of the present paper is to describe local solutions of the equation considered for some singular associative rational functions.

Deciding inclusion of set constants over infinite non-strict data structures

Manfred Schmidt-Schauss, David Sabel, Marko Schütz (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

Various static analyses of functional programming languages that permit infinite data structures make use of set constants like , , and , denoting all terms, all lists not eventually ending in Nil, and all non-terminating programs, respectively. We use a set language that permits union, constructors and recursive definition of set constants with a greatest fixpoint semantics in the set of all, also infinite, computable trees, where all term constructors are non-strict. ...