Full name Familienname, Vorname
Whalen, Michael W.
 

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kiesl-Reiter-2023-Proofs for Incremental SAT with Inprocessing-vor.pdf.jpgKiesl-Reiter, Benjamin ; Whalen, Michael W. Proofs for Incremental SAT with InprocessingInproceedings Konferenzbeitrag Oct-2023

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf.jpgPiskac, Ruzica ; Whalen, Michael W. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021Konferenzband Proceedings Oct-2021