Andreas Galanis, Leslie Ann Goldberg, Heng Guo 0001, Kuan Yang. Counting Solutions to Random CNF Formulas. In Artur Czumaj, Anuj Dawar, Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference). Volume 168 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{GalanisG0Y20,
title = {Counting Solutions to Random CNF Formulas},
author = {Andreas Galanis and Leslie Ann Goldberg and Heng Guo 0001 and Kuan Yang},
year = {2020},
doi = {10.4230/LIPIcs.ICALP.2020.53},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.53},
researchr = {https://researchr.org/publication/GalanisG0Y20},
cites = {0},
citedby = {0},
booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference)},
editor = {Artur Czumaj and Anuj Dawar and Emanuela Merelli},
volume = {168},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-138-2},
}