Seeking Practical CDCL Insights from Theoretical SAT Benchmarks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon. Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 1300-1308, ijcai.org, 2018. [doi]

This author has not been identified. Look up 'Jan Elffers' in GoogleThis author has not been identified. Look up 'Jesús Giráldez-Cru' in GoogleThis author has not been identified. Look up 'Stephan Gocht' in GoogleThis author has not been identified. Look up 'Jakob Nordström' in GoogleThis author has not been identified. Look up 'Laurent Simon' in Google

runs on WebDSL