Rounding Guarantees for Message-Passing MAP Inference with Logical Dependencies Stephen H. Bach Computer Science Dept. University of Maryland

First Page		Document Content
Date: 2014-12-17 17:02:10 Graphical models Mathematical analysis Mathematics Probability Mathematical optimization Operations research Linear programming Probability theory Markov random field Linear programming relaxation Relaxation Bayesian network		Rounding Guarantees for Message-Passing MAP Inference with Logical Dependencies Stephen H. Bach Computer Science Dept. University of Maryland Add to Reading List Source URL: stephenbach.net Download Document from Source Website File Size: 254,90 KB 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