A model counter for constraints over unbounded strings.

Loi Luu Shweta Shinde Prateek Saxena Brian Demsky

Published in: PLDI (2014)

Keyphrases

cost function
probabilistic model
em algorithm
neural network
statistical model
high level
np hard
formal model
sensitivity analysis
experimental data
mathematical model
computational model
database
image segmentation
web services
databases
data sets