Dagstuhl Seminar 24421: SAT and Interactions

Event name
Dagstuhl Seminar 24421: SAT and Interactions
 
Event type
Event for scientific audience
 
Start date
13-10-2024
End date
18-10-2024
 
Location
Wadern
Country
Germany
 
Conference Track
Single Track
Organizing institution Veranstaltende Institution
Leibniz Center for Informatics, Schloss Dagstuhl
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fazekas, Katalin SAT modulo IPASIR-UPPresentation Vortrag14-Oct-2024