Cores in Core Based MaxSat Algorithms: An Analysis.

Fahiem Bacchus, Nina Narodytska

Browse the full SAT paper archive.