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 »

118

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

15 years 11 months ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

121

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

15 years 11 months ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

142

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers