1. On compiling system models for faster and more scalable diagnosis;Huang,2005
2. AND/OR multi-valued decision diagrams (AOMDDs) for graphical models;Mateescu;J. Artif. Intell. Res.,2008
3. Verifying binarized neural networks by angluin-style learning;Shih,2019
4. On the reasons behind decisions;Darwiche,2020
5. Exact and approximate weighted model integration with probability density functions using knowledge compilation;Martires,2019