Fast exact Maxclique solving based on Maxsat

QUAN Zhe, le 2 juillet

Thème: