1. Faster exact algorithms for hard problems: a parameterized point of view;Alber;Discrete Math.,2001
2. An efficient solver for weighted Max-SAT;Alsinet;J. Global Optim.,2008
3. N. Bansal, V. Raman, Upper bounds for MaxSat: further improved, in: The 10th International Symposium on Algorithms and Computation (ISAAC’99), Chennai, India, December 16–18, 1999, Lect. Notes Comput. Sci., vol. 1741, 1999, pp. 247–258.
4. R. Battiti, P. Campigotto, Reactive search for MAX-SAT: diversification-bias properties with prohibitions and penalties, Technical Report DIT-07-058, Informatica e Telecomunicazioni, University of Trento, Trento, Italy, 2007.
5. A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems;Borchers;J. Comb. Optim.,1999