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