BDD-based boolean functional synthesis

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

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

بصمة

أدرس بدقة موضوعات البحث “BDD-based boolean functional synthesis'. فهما يشكلان معًا بصمة فريدة.

Keyphrases

Computer Science