%0 Conference Paper %1 conf/sat/LiCMVFKMG21 %A Li, Chunxiao %A Chung, Jonathan %A Mukherjee, Soham %A Vinyals, Marc %A Fleming, Noah %A Kolokolova, Antonina %A Mu, Alice %A Ganesh, Vijay %B SAT %D 2021 %E Li, Chu-Min %E Manyà, Felip %I Springer %K dblp %P 359-376 %T On the Hierarchical Community Structure of Practical Boolean Formulas. %U http://dblp.uni-trier.de/db/conf/sat/sat2021.html#LiCMVFKMG21 %V 12831 %@ 978-3-030-80223-3

@inproceedings{conf/sat/LiCMVFKMG21, added-at = {2023-08-08T00:00:00.000+0200}, author = {Li, Chunxiao and Chung, Jonathan and Mukherjee, Soham and Vinyals, Marc and Fleming, Noah and Kolokolova, Antonina and Mu, Alice and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2bf3b9ec751dd9231ca74b37a825778f5/dblp}, booktitle = {SAT}, crossref = {conf/sat/2021}, editor = {Li, Chu-Min and Manyà, Felip}, ee = {https://doi.org/10.1007/978-3-030-80223-3_25}, interhash = {505d4067536325a814d90068a4b2d47c}, intrahash = {bf3b9ec751dd9231ca74b37a825778f5}, isbn = {978-3-030-80223-3}, keywords = {dblp}, pages = {359-376}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {On the Hierarchical Community Structure of Practical Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2021.html#LiCMVFKMG21}, volume = 12831, year = 2021 }