Search Sciweavers | Sciweavers

2636 search results - page 64 / 528

» Linear Programming

137

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

16 years 18 days ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

139

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

16 years 17 days ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

165

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 15 days ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

182

Voted

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

16 years 12 days ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

134

click to vote

FOCS
2002
IEEE

110views Theoretical Computer Science» more FOCS 2002»

Decoding Turbo-Like Codes via Linear Programming

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers