Experiments on Infinite Model Finding in SMT Solving.

Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk

Browse the full LPAR paper archive.