Search Sciweavers | Sciweavers

2636 search results - page 64 / 528

» Linear Programming

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

15 years 3 months ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

15 years 3 months ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 3 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

click to vote

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 3 months ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

click to vote

FOCS
2002
IEEE

110views Theoretical Computer Science» more FOCS 2002»

Decoding Turbo-Like Codes via Linear Programming

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers