SCL Clause Learning from Simple Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Fiori, Christoph Weidenbach. SCL Clause Learning from Simple Models. In Pascal Fontaine, editor, Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Volume 11716 of Lecture Notes in Computer Science, pages 233-249, Springer, 2019. [doi]

This author has not been identified. Look up 'Alberto Fiori' in GoogleThis author has not been identified. Look up 'Christoph Weidenbach' in Google

runs on WebDSL