From weighted to unweighted model counting

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء