A Max-SAT Inference-Based Pre-processing for Max-Clique | Publicación