Learning Branching Heuristics for Propositional Model Counting.

Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus

Browse the full AAAI paper archive.