טביעת אצבע
להלן מוצגים תחומי המחקר של הפרסום '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
פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים