νZ - Maximal Satisfaction with Z3.

Nikolaj Bjørner Anh-Dung Phan

Published in: SCSS (2014)

Keyphrases

user satisfaction
customer satisfaction
neural network
service quality
real time
data mining
search engine
case study
bayesian networks
video sequences