Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek. Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 4864-4868, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Marijn J. H. Heule' in GoogleThis author has not been identified. Look up 'Oliver Kullmann' in GoogleThis author has not been identified. Look up 'Victor W. Marek' in Google

runs on WebDSL