Experiments on Infinite Model Finding in SMT Solving
Julian Parsert‚ Chad E. Brown‚ Mikolas Janota and Cezary Kaliszyk
Book Title
LPAR 2023: Proceedings of 24th International Conference on Logic for Programming‚ Artificial Intelligence and Reasoning‚ Manizales‚ Colombia‚ 4−9th June 2023
Editor
Ruzica Piskac and Andrei Voronkov
Pages
317–328
Publisher
EasyChair
Series
EPiC Series in Computing
Volume
94
Year
2023