A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses.

Atieh Monemi Bidgoli, Hassan Haghighi

Browse the full SSBSE paper archive.