Balanced max 2-sat might not be the hardest (2007)

by Per Austrin