Boosting MCSat modulo nonlinear integer arithmetic via local search

DOI10.1007/978-3-031-99984-0_6MaRDI QIDQ6869961zbMATH OpenFDO

Authors Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand

Publication date 21 January 2026

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Boosting MCSat modulo nonlinear integer arithmetic via local search

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