Caching in Model Counters: A Journey through Space and Time (extended abstract)

Published in Workshop on Counting and Sampling, held in conjunction with SAT 2021, 2021