What's Hot in the SAT and ASP Competitions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marijn Heule, Torsten Schaub. What's Hot in the SAT and ASP Competitions. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 4322-4323, AAAI Press, 2015. [doi]

This author has not been identified. Look up 'Marijn Heule' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in Google

runs on WebDSL