32nd International Workshop on Logic and Synthesis

Event name
32nd International Workshop on Logic and Synthesis
 
Event type
Event for scientific audience
 
Start date
05-06-2023
End date
06-06-2023
 
Location
Lausanne
Country
Switzerland
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Reichl, Franz Xaver ; Slivovsky, Friedrich ; Szeider, Stefan Circuit Minimization with Exact Synthesis: From QBF Back to SATInproceedings Konferenzbeitrag 2023