Subformula Caching for Model Counting and Quantitative Program Analysis | IEEE Conference Publication | IEEE Xplore