AAAI Conference on Artificial Intelligence
Twenty-Fourth AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem

Li, Quan




Search conference