%0 Conference Paper %1 conf/sat/NarodytskaSMIM19 %A Narodytska, Nina %A Shrotri, Aditya A. %A Meel, Kuldeep S. %A Ignatiev, Alexey %A Marques-Silva, João %B SAT %D 2019 %E Janota, Mikolás %E Lynce, Inês %I Springer %K dblp %P 267-278 %T Assessing Heuristic Machine Learning Explanations with Model Counting. %U http://dblp.uni-trier.de/db/conf/sat/sat2019.html#NarodytskaSMIM19 %V 11628 %@ 978-3-030-24258-9

@inproceedings{conf/sat/NarodytskaSMIM19, added-at = {2019-07-01T00:00:00.000+0200}, author = {Narodytska, Nina and Shrotri, Aditya A. and Meel, Kuldeep S. and Ignatiev, Alexey and Marques-Silva, João}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/217cfb602aae01e1a637e99f3a38a6916/dblp}, booktitle = {SAT}, crossref = {conf/sat/2019}, editor = {Janota, Mikolás and Lynce, Inês}, ee = {https://doi.org/10.1007/978-3-030-24258-9_19}, interhash = {3bb1752297c5d652d609ca2fb25925eb}, intrahash = {17cfb602aae01e1a637e99f3a38a6916}, isbn = {978-3-030-24258-9}, keywords = {dblp}, pages = {267-278}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:51:13.000+0200}, title = {Assessing Heuristic Machine Learning Explanations with Model Counting.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2019.html#NarodytskaSMIM19}, volume = 11628, year = 2019 }