SAT-Inspired Eliminations for Superposition.

Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule

Browse the full FMCAD paper archive.