%0 Conference Paper %1 conf/sat/FriouxBSK17 %A Frioux, Ludovic Le %A Baarir, Souheib %A Sopena, Julien %A Kordon, Fabrice %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K dblp %P 233-250 %T PaInleSS: A Framework for Parallel SAT Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#FriouxBSK17 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/FriouxBSK17, added-at = {2017-08-15T00:00:00.000+0200}, author = {Frioux, Ludovic Le and Baarir, Souheib and Sopena, Julien and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/20b1166349ae47e7b74dbbaf0263ff138/dblp}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_15}, interhash = {ef868a02d679bdfb9a5ed43b95910440}, intrahash = {0b1166349ae47e7b74dbbaf0263ff138}, isbn = {978-3-319-66263-3}, keywords = {dblp}, pages = {233-250}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:22.000+0200}, title = {PaInleSS: A Framework for Parallel SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#FriouxBSK17}, volume = 10491, year = 2017 }