Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving.

Long Guo, Sad Jabbour, Jerry Lonlac, Lakhdar Sais

Browse the full ICTAI paper archive.