SMT Sampling via Model-Guided Approximation.

Matan Peled Bat-Chen Rothenberg Shachar Itzhaky

Published in: CoRR (2022)

Keyphrases

computational model
high level
objective function
probabilistic model
mathematical model
statistical model
artificial neural networks
prior knowledge
special case
parameter estimation
experimental data
sampling algorithm