Victor W. Marek

1 paper in the IJCAI proceedings

IJCAI 2017

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

with Marijn J.H. Heule, Oliver Kullmann

doi:10.24963/ijcai.2017/683

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings