Certifying Phase Abstraction.

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

Browse the full IJCAR paper archive.