Sciweavers

2652 search results - page 83 / 531
» Privacy-preserving linear programming
Sort
View
MP
2006
65views more  MP 2006»
14 years 11 months ago
Strong Formulations of Robust Mixed 0-1 Programming
We introduce strong formulations for robust mixed 0
Alper Atamtürk
ICALP
1997
Springer
15 years 4 months ago
Constructive Linear Time Algorithms for Branchwidth
We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth≤ k and, if so, outputs a branch decomposition of minimum width....
Hans L. Bodlaender, Dimitrios M. Thilikos
CADE
2011
Springer
13 years 11 months ago
Cutting to the Chase Solving Linear Integer Arithmetic
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
Dejan Jovanovic, Leonardo Mendonça de Moura
PPDP
2004
Springer
15 years 5 months ago
Semi-naive evaluation in linear tabling
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato
COR
2006
91views more  COR 2006»
14 years 12 months ago
An LP approach to compute the pre-kernel for cooperative games
We present an algorithm to compute the (pre)-kernel of a TU-game N, v with a system of n 2 1 linear programming problems. In contrast to the algorithms using convergence methods t...
Holger Meinhardt