25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)

View Statistics Email Alert RSS Feed

Description

Event name
25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)
 
Event type
Event for scientific audience
 
Start date
26-05-2024
End date
31-05-2024
 
Country
Mauritius
 
Conference Track
Single Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Schoisswohl, Johannes ; Kovács, Laura ; Korovin, Konstantin VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real ArithmeticInproceedings Konferenzbeitrag 26-May-2024