Exact Max 2-Sat: Easier and Faster

Martin Fürer, Shiva Prasad Kasiviswanathan. Exact Max 2-Sat: Easier and Faster. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Volume 4362 of Lecture Notes in Computer Science, pages 272-283, Springer, 2007. [doi]

Authors

Martin Fürer

This author has not been identified. Look up 'Martin Fürer' in Google

Shiva Prasad Kasiviswanathan

This author has not been identified. Look up 'Shiva Prasad Kasiviswanathan' in Google