Generating Hard Random Boolean Formulas and Disjunctive Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski. Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 532-538, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Giovanni Amendola' in GoogleThis author has not been identified. Look up 'Francesco Ricca' in GoogleThis author has not been identified. Look up 'Miroslaw Truszczynski' in Google

runs on WebDSL