Column generation is a well-known and widely practiced technique for solving linear programs with too many variables or constraints to include in the initial formulation explicitly. Instead, the ...

Linear Logic; Lecture 1515-816 Linear Logic Lecture 15: Linear Lambda-Calculus In this lecture we switch from logic programming to functional programming. Since our logic is constructive, proofs can ...

This paper presents a simple numerical algorithm for the solution of programming problems in which some or all of the variables can take only discrete values. The algorithm requires no special ...

In this lecture we consider goal-directed proof search as the foundation of linear logic programming. In order to allow both declarative and operational readings of a program, we restrict ourselves to ...