First-Order Subsumption via SAT Solving.

Jakob Rath, Armin Biere, Laura Kovcs

Browse the full FMCAD paper archive.