First Page | Document Content | |
---|---|---|
Date: 2013-09-27 05:04:48Operations research Mathematics Computational complexity theory Applied mathematics Mathematical optimization Heuristic Integer programming Relaxation Branch and bound Combinatorial optimization Travelling salesman problem Algorithm | Microsoft Word - orbs7180.docAdd to Reading ListSource URL: www.math.hkbu.edu.hkDownload Document from Source WebsiteFile Size: 12,56 KBShare Document on Facebook |
Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 NewDocID: 1xVFF - View Document | |