1. Upper bounds for MaxSAT: further improved;Bansal,1999
2. A new upper bound for Max-2-SAT: a graph-theoretic approach;Binkele-Raible;J. Discrete Algorithms,2010
3. A new algorithm for parameterized MAX-SAT;Bliznets,2012
4. A duality between clause width and clause density for SAT;Calabro,2006
5. Improved exact algorithms for MAX-SAT;Chen;Discrete Appl. Math.,2004