RT Article T1 Assessing heuristic machine learning explanations with model counting A1 Narodytska, Nina A2 Marques-Silva, João A2 Ignatiev, Alexey A2 Meel, Kuldeep S. A2 Shrotri, Aditya LA English PB International Conference on Theory and Applications of Satisfiability Testing YR 2019 UL https://krimdok.uni-tuebingen.de/Record/1912461919 K1 Konferenzschrift ; 2019 ; Lisbon, Portugal DO 10.1007/978-3-030-24258-9_19