Dror Fried

1 paper in the IJCAI proceedings

IJCAI 2015

From Weighted to Unweighted Model Counting

with Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings