A MAX-SAT Algorithm Portfolio.

Paulo J. Matos Jordi Planes Florian Letombe João Marques-Silva A MAX-SAT Algorithm Portfolio. 911-912 2008 ECAI http://dx.doi.org/10.3233/978-1-58603-891-5-911 conf/ecai/2008 db/conf/ecai/ecai2008.html#MatosPLM08