NEW RESEARCH LINES FOR MAX-SAT - Exploiting the Recent Resolution Rule for Max-SAT Topics: Constraint Satisfaction; Knowledge Representation and Reasoning; Logic Programming In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 648-651, 2010 , Valencia, Spain