Parallelising Lazy Clause Generation with Trail Sharing.

Toby O. Davies, Frdric Didier, Laurent Perron, Peter J. Stuckey

Browse the full CPAIOR paper archive.