https://iccl.inf.tu-dresden.de/web/WVPub111/en
Pcasso -- a Parallel CooperAtive Sat SOlver - International Center for Computational Logic
Davide Lanti, Ahmed Irfan, Norbert Manthey. Pcasso -- a Parallel CooperAtive Sat SOlver. In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti...
international centerparallelcooperativesat