Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving

Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais. Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014. pages 701-708, IEEE Computer Society, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: