First Page | Document Content | |
---|---|---|
![]() Date: 2014-11-28 11:05:21Mathematics Mathematical optimization Operations research Computational complexity theory Linear programming Convex optimization Complexity classes Combinatorial optimization Ellipsoid method Leonid Khachiyan Simplex algorithm Ellipsoid | Add to Reading List |
![]() | 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 |
![]() |