First Page | Document Content | |
---|---|---|
Date: 2013-11-01 17:11:52Operations research Matrix theory Permutation Matrix Bin packing problem Linear programming FO | BinPackingViaDiscrepancyOfPermutations-talg.dviAdd to Reading ListSource URL: www.math.washington.eduDownload Document from Source WebsiteFile Size: 235,46 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 | |