New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat.

Federico Heras

Browse the full ICAART paper archive.