Mate Soos

2 papers in the IJCAI proceedings

IJCAI 2023

Engineering an Efficient Approximate DNF-Counter

with Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski

doi:10.24963/ijcai.2023/226

Details PDF

IJCAI 2019

GANAK: A Scalable Probabilistic Exact Model Counter

with Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

doi:10.24963/ijcai.2019/163

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings