Fetching the paper…
Reading the bibliography…
Recent work has shown that some common machine learning classifiers can be compiled into Boolean circuits that have the same input-output behavior.
W. V. Quine, ‘The problem of simplifying truth functions’, The American Mathematical Monthly
1952
Earlier work this paper cites.
E. J. McCluskey, ‘Minimization of boolean functions’, The Bell System Technical Journal
1956
Earlier work this paper cites.
W. V. Quine, ‘On cores and prime implicants of truth functions’, The American Mathematical Monthly
1959
Earlier work this paper cites.
Randal E. Bryant, ‘Graph-based algorithms for boolean function manipulation’, IEEE Trans. Computers
1986
Earlier work this paper cites.
Johan de Kleer, Alan K. Mackworth, and Raymond Reiter, ‘Characterizing diagnoses and systems’, Artif. Intell
1992
Earlier work this paper cites.
Olivier Coudert and Jean Christophe Madre, ‘Fault tree analysis: 10 20 10^{20} prime implicants and beyond’, in Proc. of the Annual Reliability and Maintainability Symposium
1993
Earlier work this paper cites.
Olivier Coudert, Jean Christophe Madre, Henri Fraisse, and Herve Touati, ‘Implicit prime cover computation: An overview’, in Proceedings of the 4th SASIMI Workshop
1993
Earlier work this paper cites.
Shin-ichi Minato, ‘Fast generation of prime-irredundant covers from binary decision diagrams’, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
1993
Earlier work this paper cites.
Moral S. et Kohlas J. (eds.), Gabbay D. et Smets Ph. (series eds.)
Pierre Marquis, Consequence finding algorithms · 2000
Earlier work this paper cites.
Adnan Darwiche, ‘Decomposable negation normal form’, J. ACM
2001
Earlier work this paper cites.
Adnan Darwiche and Pierre Marquis, ‘A knowledge compilation map’, J. Artif. Intell. Res
2002
Earlier work this paper cites.
2002
Cited alongside, same era.
Hei Chan and Adnan Darwiche, ‘Reasoning about bayesian network classifiers’, in UAI
2003
Cited alongside, same era.
Jérôme Lang, Paolo Liberatore, and Pierre Marquis, ‘Propositional independence: Formula-variable independence and forgetting’, J. Artif. Intell. Res
2003
Cited alongside, same era.
Adnan Darwiche, ‘New advances in compiling CNF into decomposable negation normal form’, in ECAI
2004
Cited alongside, same era.
Jinbo Huang and Adnan Darwiche, ‘DPLL with a trace: From SAT to knowledge compilation’, in IJCAI
2005
Cited alongside, same era.
Umut Oztok and Adnan Darwiche, ‘An exhaustive DPLL algorithm for model counting’, J. Artif. Intell. Res
2018
Later among the works it cites.
Marco Túlio Ribeiro, Sameer Singh, and Carlos Guestrin, ‘Anchors: High-precision model-agnostic explanations’, in AAAI
2018
Later among the works it cites.
Andy Shih, Arthur Choi, and Adnan Darwiche, ‘Formal verification of bayesian network classifiers’, in PGM
2018
Later among the works it cites.
Andy Shih, Arthur Choi, and Adnan Darwiche, ‘A symbolic approach to explaining bayesian network classifiers’, in IJCAI
2018
Later among the works it cites.
Arthur Choi, Weijia Shi, Andy Shih, and Adnan Darwiche, ‘Compiling neural networks into tractable Boolean circuits’, in AAAI Spring Symposium on Verification of Neural Networks (VNN)
2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Jinbo Huang and Adnan Darwiche, ‘The language of search’, J. Artif. Intell. Res
2007
Cited alongside, same era.
Yves Crama and Peter L. Hammer, Boolean Functions - Theory, Algorithms, and Applications
2011
Cited alongside, same era.
Andreas Herzig, Jérôme Lang, and Pierre Marquis, ‘Propositional update operators based on formula/literal dependence’, ACM Trans. Comput. Log
2013
Cited alongside, same era.
Umut Oztok and Adnan Darwiche, ‘On compiling CNF into decision-dnnf’, in CP
2014
Cited alongside, same era.
Marco Túlio Ribeiro, Sameer Singh, and Carlos Guestrin, ‘”why should I trust you?”: Explaining the predictions of any classifier’, in KDD
2016
Cited alongside, same era.
Jean-Marie Lagniez and Pierre Marquis, ‘An improved decision-dnnf compiler’, in IJCAI
2017
Cited alongside, same era.
Alexey Ignatiev, Nina Narodytska, and Joao Marques-Silva, ‘Abduction-based explanations for machine learning models’, in Thirty-Third AAAI Conference on Artificial Intelligence (AAAI)
2019
Later among the works it cites.
Alexey Ignatiev, Nina Narodytska, and Joao Marques-Silva, ‘On relating explanations and adversarial examples’, in Advances in Neural Information Processing Systems 32
2019
Later among the works it cites.
2019
Later among the works it cites.
Felix Lindner and Katrin Möllney, ‘Extracting reasons for moral judgments under various ethical principles’, in KI 2019: Advances in Artificial Intelligence
2019
Later among the works it cites.
Andy Shih, Arthur Choi, and Adnan Darwiche, ‘Compiling bayesian network classifiers into decision graphs’, in AAAI
2019
Later among the works it cites.