Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Browse the full PRICAI paper archive.