2636 search results - page 76 / 528 » Linear Programming |
115
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We study semidefinite programming relaxations of Vertex Cover arising from repeated applications of the LS+ “lift-and-project” method of Lovasz and Schrijver starting from th...
COR
2006
15 years 2 months ago
2006
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...
95
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
148
click to vote
JELIA
2010
Springer
15 years 22 days ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
115
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...