Search Sciweavers | Sciweavers

We give a general technique to obtain approximation mechanisms that are truthful in expectation. We show that for packing domains, any α-approximation algorithm that also bounds ...

Ron Lavi, Chaitanya Swamy

claim paper

Read More »

130

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

16 years 10 days ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

133

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

16 years 9 days ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

156

Voted

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers