Assessing Heuristic Machine Learning Explanations with Model Counting.

Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joo Marques-Silva

Browse the full SAT paper archive.