Pcasso -- a Parallel CooperAtive Sat SOlver

Davide LantiDavide Lanti, Ahmed IrfanAhmed Irfan, Norbert MantheyNorbert Manthey

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 Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 56, 2014. University of Helsinki, Helsinki, Finland

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{LIM2014,
  author    = {Davide Lanti and Ahmed Irfan and Norbert Manthey},
  title     = {Pcasso -- a Parallel {CooperAtive} Sat {SOlver}},
  editor    = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
               J{\"{a}}rvisalo},
  booktitle = {Proceedings of {SAT} Competition 2014},
  series    = {Department of Computer Science Series of Publications B},
  volume    = {B-2014-2},
  publisher = {University of Helsinki, Helsinki, Finland},
  year      = {2014},
  pages     = {56}
}