Model Counting with Boolean Algebra and Extension Rule.

Youjun Xu Dantong Ouyang Yuxin Ye

Published in: J. Convergence Inf. Technol. (2010)

Keyphrases

boolean algebra
model counting
cardinality constraints
theorem prover
polynomial size
functional dependencies
set theory