AlloyMC: Alloy meets model counting.

Jiayi Yang Wenxi Wang Darko Marinov Sarfraz Khurshid

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
database
machine learning
probabilistic inference
propositional logic
objective function
probabilistic model
constraint satisfaction problems
orders of magnitude