Learning Short Clauses via Conditional Autarkies.

Amar Shah, Twain Byrnes, Joseph E. Reeves, Marijn J. H. Heule

Browse the full FMCAD paper archive.