%0 Conference Paper %1 conf/tacas/FriouxBSK19 %A Frioux, Ludovic Le %A Baarir, Souheib %A Sopena, Julien %A Kordon, Fabrice %B TACAS (1) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 135-151 %T Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#FriouxBSK19 %V 11427 %@ 978-3-030-17462-0

@inproceedings{conf/tacas/FriouxBSK19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Frioux, Ludovic Le and Baarir, Souheib and Sopena, Julien and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2ce30050c7f8fed6d0b8edc27b45a6ddc/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2019-1}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17462-0_8}, interhash = {239e0c92e8d1779832de94edca418196}, intrahash = {ce30050c7f8fed6d0b8edc27b45a6ddc}, isbn = {978-3-030-17462-0}, keywords = {dblp}, pages = {135-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:04:45.000+0200}, title = {Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#FriouxBSK19}, volume = 11427, year = 2019 }