PCASSO - a Parallel CooperAtive Sat SOlver. Irfan, A., Lanti, D., & Manthey, N. In In Proc. of SAT Competition 2014: Solver and Benchmark Descriptions., pages 56--57, 2014.
PCASSO - a Parallel CooperAtive Sat SOlver [pdf]Paper  bibtex   2 downloads  

Downloads: 2