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:	Konferenzschrift ; 2019 ; Lisbon, Portugal

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