29th International Conference on Automated Deduction

View Statistics Email Alert RSS Feed

Description

Event name
29th International Conference on Automated Deduction
 
Event type
Event for scientific audience
 
Start date
01-07-2023
End date
04-07-2023
 
Location
Roma
Country
Italy
 
Organizing institution Veranstaltende Institution
Sapienza University of Rome
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
2Hozzova-2023-Program Synthesis inSaturation-vor.pdf.jpgHozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
3Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag2-Sep-2023
4Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag2-Sep-2023