Combining Component Caching and Clause Learning for Effective Model Counting
https://www.powershow.com/view/cd70e-MzUzN/Combining_Component_Caching_and_Clause_Learning_for_Effective_Model_Counting_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
