Search Sciweavers | Sciweavers

2636 search results - page 64 / 528

» Linear Programming

124

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

16 years 5 days ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

129

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

16 years 4 days ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

151

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 2 days ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

167

click to vote

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 12 months ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

123

click to vote

FOCS
2002
IEEE

110views Theoretical Computer Science» more FOCS 2002»

Decoding Turbo-Like Codes via Linear Programming

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers