From weighted to unweighted model counting

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

פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים