ML Anthology

Kullmann, Oliver

1 publications

IJCAI 2017 Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek