Per Austrin Balanced max 2-sat might not be the hardest. 189-197 2007 conf/stoc/2007 STOC http://doi.acm.org/10.1145/1250790.1250818 db/conf/stoc/stoc2007.html#Austrin07