SMT Sampling via Model-Guided Approximation.

Matan Peled Bat-Chen Rothenberg Shachar Itzhaky

Published in: FM (2023)

Keyphrases

high level
probability distribution
statistical model
cost function
management system
closed form
theoretical analysis
probabilistic model
special case
objective function
data sets
prior knowledge
lower bound
monte carlo
experimental data
statistical models
neural network model
approximation algorithms
formal model