Extending DRAT to SMT.

S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre

Browse the full FMCAD paper archive.