@inproceedings{ comp/2014/Pcasso,
  author = {Ahmed Irfan and Davide Lanti and Norbert Manthey},
  title = {{PCASSO} - a {P}arallel {C}ooper{A}tive {S}at {SO}lver},
  booktitle = {In Proc. of SAT Competition 2014: Solver and Benchmark Descriptions.},
  url = {https://helda.helsinki.fi/bitstream/handle/10138/135571/sc2014_proceedings.pdf},
  year = {2014},
  pages = {56--57}
}

{"_id":{"_str":"5389d7080e577e1d6b0035b1"},"__v":42,"authorIDs":["54612b7fcff45d9c64000378"],"author_short":["Irfan, A.","Lanti, D.","Manthey, N."],"bibbaseid":"irfan-lanti-manthey-pcassoaparallelcooperativesatsolver-2014","bibdata":{"author":["Irfan, Ahmed","Lanti, Davide","Manthey, Norbert"],"author_short":["Irfan, A.","Lanti, D.","Manthey, N."],"bibtex":"@inproceedings{ comp/2014/Pcasso,\n author = {Ahmed Irfan and Davide Lanti and Norbert Manthey},\n title = {{PCASSO} - a {P}arallel {C}ooper{A}tive {S}at {SO}lver},\n booktitle = {In Proc. of SAT Competition 2014: Solver and Benchmark Descriptions.},\n url = {https://helda.helsinki.fi/bitstream/handle/10138/135571/sc2014_proceedings.pdf},\n year = {2014},\n pages = {56--57}\n}","bibtype":"inproceedings","booktitle":"In Proc. of SAT Competition 2014: Solver and Benchmark Descriptions.","id":"comp/2014/Pcasso","key":"comp/2014/Pcasso","pages":"56--57","title":"PCASSO - a Parallel CooperAtive Sat SOlver","type":"inproceedings","url":"https://helda.helsinki.fi/bitstream/handle/10138/135571/sc2014_proceedings.pdf","year":"2014","bibbaseid":"irfan-lanti-manthey-pcassoaparallelcooperativesatsolver-2014","role":"author","urls":{"Paper":"https://helda.helsinki.fi/bitstream/handle/10138/135571/sc2014_proceedings.pdf"},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.inf.unibz.it/~dlanti/bibliography/refs.bib","downloads":2,"keywords":[],"search_terms":["pcasso","parallel","cooperative","sat","solver","irfan","lanti","manthey"],"title":"PCASSO - a Parallel CooperAtive Sat SOlver","year":2014,"dataSources":["HhG9oGkjqsJXkxMSq"]}