An Open Interface for Hooking Solvers to Modeling Systems

First Page		Document Content
Date: 2006-07-28 10:34:57 Applied mathematics COIN-OR Linear programming AMPL Solver Nl Sol Mathematical optimization GNU Linear Programming Kit Operations research Numerical analysis Mathematical software		An Open Interface for Hooking Solvers to Modeling Systems Add to Reading List Source URL: dimacs.rutgers.edu Download Document from Source Website File Size: 1,64 MB Share Document on Facebook

	Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New DocID: 1xVFF - View Document
	Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPs DocID: 1xUZo - View Document
	Mixed-Integer Linear Programming LPBranch-and-Bound Search DocID: 1voVH - View Document
	DECOMPOSITION METHODS FOR INTEGER LINEAR PROGRAMMING by Matthew Galati DocID: 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. Cher DocID: 1vcNT - View Document