Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.

Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stphane Graham-Lengrand

Browse the full CADE paper archive.