Tuukka Korhonen

1 paper in the IJCAI proceedings

IJCAI 2019

Enumerating Potential Maximal Cliques via SAT and ASP

with Jeremias Berg, Matti Järvisalo

doi:10.24963/ijcai.2019/156

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings