Tian Sang, Paul Beame, Henry A. Kautz. A Dynamic Approach for MPE and Weighted MAX-SAT. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 173-179, 2007. [doi]
@inproceedings{SangBK07, title = {A Dynamic Approach for MPE and Weighted MAX-SAT}, author = {Tian Sang and Paul Beame and Henry A. Kautz}, year = {2007}, url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-026.pdf}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/SangBK07}, cites = {0}, citedby = {0}, pages = {173-179}, booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, editor = {Manuela M. Veloso}, }