Sciweavers

2976 search results - page 108 / 596
» On the bounded integer programming
Sort
View
98
Voted
STACS
2009
Springer
15 years 7 months ago
A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
Kenya Ueno
92
Voted
CAV
2005
Springer
114views Hardware» more  CAV 2005»
15 years 6 months ago
Bounded Model Checking of Concurrent Programs
Ishai Rabinovitz, Orna Grumberg
64
Voted
CSL
2005
Springer
15 years 6 months ago
Bounded Model Checking of Pointer Programs
Witold Charatonik, Lilia Georgieva, Patrick Maier