SMT Sampling via Model-Guided Approximation

Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky

We investigate the domain of satisfiable formulas in satisfiability modulo theories (SMT), in particular, automatic generation of a multitude of satisfying assignments to such form…