#∃SAT: Projected Model Counting.

Rehan Abdul Aziz Geoffrey Chu Christian J. Muise Peter J. Stuckey

Published in: SAT (2015)

Keyphrases

model counting
weighted model counting
satisfiability testing
knowledge compilation
polynomial size
propositional formulas
propositional satisfiability
objective function
natural language
special case
boolean functions