The ROBDD size of simple CNF formulas

Michael Langberg, Amir Pnueli, Yoav Rodeh

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