Skolemization Modulo Theories

DOI10.1007/978-3-662-44199-2_47zbMath1434.03031OpenAlexW371653748MaRDI QIDQ2879139

Margus Veanes, Konstantin Korovin

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_47

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Skolemization Modulo Theories