SMT Sampling via Model-Guided Approximation.

Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky

Browse the full FM paper archive.