Constrained sampling and counting: Universal hashing meets SAT solving

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

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

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Constrained sampling and counting: Universal hashing meets SAT solving'. יחד הם יוצרים טביעת אצבע ייחודית.

Keyphrases

Computer Science

Chemical Engineering