[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving
Guo, Long, Jabbour, Said, Lonlac, Jerry, Sais, LakhdarYear:
2014
Language:
english
DOI:
10.1109/ictai.2014.110
File:
PDF, 1.13 MB
english, 2014