1. Alber, J., J. Gramm, and R. Niedermeier. (1998). “Faster Exact Algorithms for Hard Problems: A Parameterized Point of View.” In 25th Conf. on Current Trends in Theory and Practice of Informatics, LNCS, Springer-Verlag, pp. 168–185.
2. Alsinet, T., F. Manyà, and J. Planes. (2003). “Improved Branch and Bound Algorithms for Max-SAT.” In Proceedings of the 6th International Conference on the Theory and Applications of Satisfiability Testing.
3. Borchers, B. and J. Furman. (1999). “A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems.” Journal of Combinatorial Optimization 2, 299–306.
4. Cha, B., K. Iwama, Y. Kambayashi, and S. Miyazaki. (1997). “Local Search Algorithms for Partial MAXSAT.” In Proceedings of the 14th National Conference on Artificial Intelligence, AAAI'97, Providence/RI, USA, AAAI Press, pp. 263–268.
5. Culberson, J. (1995). “Graph Coloring Page: The Flat Graph Generator.” See http://web.cs.ualberta.ca/˜joe/ Coloring/Generators/flat.html.