Experiments on Infinite Model Finding in SMT Solving.

Julian Parsert Chad E. Brown Mikolas Janota Cezary Kaliszyk

Published in: LPAR (2023)

Keyphrases

probabilistic model
computational model
statistical model
experimental data
conceptual model
social networks
high level
probability distribution
formal model
prediction model
neural network
search algorithm
theoretical framework
statistical models
sensitivity analysis