First Page | Document Content | |
---|---|---|
Date: 2012-07-25 10:24:41Mathematics Mathematical optimization Operations research Geometry Convex optimization Lattice points Computational number theory Linear programming Ellipsoid method Leonid Khachiyan Lattice reduction LenstraLenstraLovsz lattice basis reduction algorithm | 51 Documenta Math. Linear Programming StoriesAdd to Reading ListSource URL: www.math.uiuc.eduDownload Document from Source WebsiteFile Size: 227,94 KBShare Document on Facebook |
Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 NewDocID: 1xVFF - View Document | |
Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPsDocID: 1xUZo - View Document | |
Mixed-Integer Linear Programming LP Branch-and-Bound SearchDocID: 1voVH - View Document | |
DECOMPOSITION METHODS FOR INTEGER LINEAR PROGRAMMING by Matthew GalatiDocID: 1vkrh - View Document | |
Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes Pascal Poupart† , Aarti Malhotra† , Pei Pei† , Kee-Eung Kim§ , Bongseok Goh§ and Michael Bowling‡ † David R. CherDocID: 1vcNT - View Document |