%0 Conference Paper %1 conf/sat/Baud-BerthierGS17 %A Baud-Berthier, Guillaume %A Giráldez-Cru, Jesús %A Simon, Laurent %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K dblp %P 65-82 %T On the Community Structure of Bounded Model Checking SAT Problems. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#Baud-BerthierGS17 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/Baud-BerthierGS17, added-at = {2017-08-15T00:00:00.000+0200}, author = {Baud-Berthier, Guillaume and Giráldez-Cru, Jesús and Simon, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/238e853875ddafdd05f2d241079984cb6/dblp}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_5}, interhash = {9810cb408a9c029ab77522ee7f1ac308}, intrahash = {38e853875ddafdd05f2d241079984cb6}, isbn = {978-3-319-66263-3}, keywords = {dblp}, pages = {65-82}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:51:16.000+0200}, title = {On the Community Structure of Bounded Model Checking SAT Problems.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#Baud-BerthierGS17}, volume = 10491, year = 2017 }