Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs | Publicación