Extended Reunion: Satisfiability 2023

Event name
Extended Reunion: Satisfiability 2023
 
Event type
Event for scientific audience
 
Start date
13-03-2023
End date
12-05-2023
 
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Szeider, Stefan Isomorph-Free Generation of Combinatorial Objects with SAT Modulo SymmetriesPresentation Vortrag18-Apr-2023