Experiments on infinite model finding in SMT solving

DOI10.29007/SLRMMaRDI QIDQ7025212zbMATH OpenFDO

Authors Julian Parsert, Chad E. Brown, Mikoláš Janota, Cezary Kaliszyk

Publication date 19 February 2025

zbMATH Keywords

SMTinfinite modelSYGUS

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Experiments on infinite model finding in SMT solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025212)