From weighted to unweighted model counting

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

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

بصمة

أدرس بدقة موضوعات البحث “From weighted to unweighted model counting'. فهما يشكلان معًا بصمة فريدة.

Engineering & Materials Science