Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
 
ISBN
978-3-85448-046-4
 
Publisher Herausgeber
TU Wien Academic Press
 
Place of publishing Erscheinungsort
Wien
 
DOI
10.34727/2021/isbn.978-3-85448-046-4
 

Publications Publikationen

Filter:
Author:  Ivrii, Alexander
Access Type:  Open Access

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Konferenzbeitrag Oct-2021
2Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021