Maximum Model Counting.

Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia

Browse the full AAAI paper archive.