Automated Inference of Finite Unsatisfiability.

Koen Claessen Ann Lillieström

Published in: J. Autom. Reason. (2011)

Keyphrases

topic models
generative model
semi automated
fully automated
bayesian networks
probabilistic inference
bayesian inference
finite number
automated analysis
inference process
semi automatic
real numbers
inference mechanism