International Joint Conference on Artificial Intelligence
Twenty-First International Joint Conference on Artificial Intelligence

Presentations

Reading Tools
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT

Kroc, Sabharwal, Gomes, Selman




Search conference