From weighted to unweighted model counting

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

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

بصمة

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

Keyphrases

Computer Science