The ROBDD size of simple CNF formulas

Michael Langberg, Amir Pnueli, Yoav Rodeh

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