Talks and Poster Presentations (with Proceedings-Entry):
N. Alon, G. Gutin, E. Kim, St. Szeider, A. Yeo:
"Solving MAX-r-SAT Above a Tight Lower Bound";
Talk: ACM-SIAM Symposium on Discrete Algorithms (SODA),
Austin, Texas, USA;
2010-01-17
- 2010-01-19; in: "Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms",
M. Charikar (ed.);
ACM-SIAM,
(2010),
511
- 517.
Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Created from the Publication Database of the Vienna University of Technology.