Search Sciweavers | Sciweavers

2976 search results - page 108 / 596

» On the bounded integer programming

133

Voted

STACS
2009
Springer

124views Theoretical Computer Science» more STACS 2009»

A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints

15 years 11 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

122

click to vote

STACS
2010
Springer

145views Theoretical Computer Science» more STACS 2010»

Alternation-Trading Proofs, Linear Programming, and Lower Bounds

15 years 12 months ago

Download www.cs.cmu.edu

Ryan Williams

claim paper

Read More »

104

Voted

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

15 years 10 months ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

127

Voted

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 10 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers