SMT Sampling via Model-Guided Approximation. - Matan Peled; Bat-Chen Rothenberg; Shachar Itzhaky (FM, 2023)