%0 Conference Paper %1 conf/frocos/Philipp15 %A Philipp, Tobias %B FroCos %D 2015 %E Lutz, Carsten %E Ranise, Silvio %I Springer %K dblp %P 101-116 %T An Expressive Model for Instance Decomposition Based Parallel SAT Solvers. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#Philipp15 %V 9322 %@ 978-3-319-24245-3

@inproceedings{conf/frocos/Philipp15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Philipp, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2f84a99bfc40091902e023a49e125151e/dblp}, booktitle = {FroCos}, crossref = {conf/frocos/2015}, editor = {Lutz, Carsten and Ranise, Silvio}, ee = {https://doi.org/10.1007/978-3-319-24246-0_7}, interhash = {6be88f8654545e5dd20a97c0de17818c}, intrahash = {f84a99bfc40091902e023a49e125151e}, isbn = {978-3-319-24245-3}, keywords = {dblp}, pages = {101-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:40:42.000+0200}, title = {An Expressive Model for Instance Decomposition Based Parallel SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#Philipp15}, volume = 9322, year = 2015 }