BDD-based boolean functional synthesis

Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

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

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'BDD-based boolean functional synthesis'. יחד הם יוצרים טביעת אצבע ייחודית.

Mathematics

Engineering & Materials Science