Marijn J.H. Heule

1 paper in the IJCAI proceedings

IJCAI 2017

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

with Oliver Kullmann, Victor W. Marek

doi:10.24963/ijcai.2017/683

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings