Assessing heuristic machine learning explanations with model counting

Saved in:

Bibliographic Details
Authors:	Narodytska, Nina (Author) ; Marques-Silva, João (Author) ; Ignatiev, Alexey (Author) ; Meel, Kuldeep S. (Author) ; Shrotri, Aditya (Author)
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:	Konferenzschrift ; 2019 ; Lisbon, Portugal

Description
DOI:	10.1007/978-3-030-24258-9_19