40th ACM/SIGAPP Symposium on Applied Computing (SAC '25)

Event name
40th ACM/SIGAPP Symposium on Applied Computing (SAC '25)
 
Event type
Event for scientific audience
 
Start date
31-03-2025
End date
04-04-2025
 
Location
Catania
Country
Italy
 
Conference Track
Multi Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Simader, Marcel ; Rebola-Pardo, Adrian ; Seidl, Martina FERAT: A New Expansion-Based Certification Framework for Quantified Boolean FormulasInproceedings Konferenzbeitrag 2025