First Page | Document Content | |
---|---|---|
Date: 2012-07-25 10:24:41Operations research Convex optimization Lattice points Combinatorial optimization Computational number theory Ellipsoid method Linear programming Leonid Khachiyan Lattice reduction LenstraLenstraLovsz lattice basis reduction algorithm Mathematical optimization Arjen Lenstra | 51 Documenta Math. Linear Programming StoriesAdd to Reading ListSource URL: documenta.sagemath.orgDownload 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 | |