SMT solving over finite field arithmetic

DOI10.29007/4N6WMaRDI QIDQ7025216zbMATH OpenFDO

Authors Thomas Hader, Daniela Kaufmann, Laura Kovács

Publication date 19 February 2025

zbMATH Keywords

finite fieldsSMT solvingtriangular setspolynomial arithmetic

Mathematics Subject Classification ID

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

This page was built for publication: SMT solving over finite field arithmetic

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