Hua Jiang, Chu-Min Li, Yanli Liu, Felip Manya. A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem.
THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, Feb 2018, New-Orleans, United States. pp.1338-1346.
⟨hal-03636425⟩