Assessing heuristic machine learning explanations with model counting

Saved in:  
Bibliographic Details
Main Author: Narodytska, Nina (Author)
Contributors: Marques-Silva, João ; Ignatiev, Alexey ; Meel, Kuldeep S. ; Shrotri, Aditya
Format: Electronic Article
Language:English
Published: International Conference on Theory and Applications of Satisfiability Testing 2019
In:Enthalten in: Theory and Applications of Satisfiability Testing - SAT 2019
Online Access: Volltext (lizenzpflichtig)
Check availability: HBZ Gateway
Keywords:
Description
DOI:10.1007/978-3-030-24258-9_19