A Max-SAT Inference-Based Pre-processing for Max-Clique.

Federico Heras, Javier Larrosa

Browse the full SAT paper archive.