2636 search results - page 55 / 528 » Linear Programming |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
184
click to vote
Book
Book web site includes links to a full course, software, and other material.
FCT
2003
Springer
15 years 5 months ago
2003
Springer
: Proving integrality gaps for linear relaxations of NP optimization problems is a difficult task and usually undertaken on a case-by-case basis. We initiate a more systematic app...
100
click to vote
PLDI
1994
ACM
15 years 4 months ago
1994
ACM
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
131
click to vote
CP
2010
Springer
14 years 10 months ago
2010
Springer
The state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow ...