Antti Hyttinen

Department of Computer Science , University of Helsinki , Finland

2 papers in the IJCAI proceedings

IJCAI 2018

Reduced Cost Fixing for Maximum Satisfiability

with Fahiem Bacchus, Matti Järvisalo, Paul Saikko

doi:10.24963/ijcai.2018/723

Details PDF

IJCAI 2017

A Core-Guided Approach to Learning Optimal Causal Graphs

with Paul Saikko, Matti Järvisalo

doi:10.24963/ijcai.2017/90

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings