What's Hot in the SAT and ASP Competitions.

Marijn Heule, Torsten Schaub

Browse the full AAAI paper archive.