Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning

Book title Buchtitel
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
 
 
Series Schriftenreihe
EPiC Series in Computing
 
Volume Band
100
 

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