SAT-Based Subsumption Resolution.

Robin Coutelier, Laura Kovcs, Michael Rawson, Jakob Rath

Browse the full CADE paper archive.