Linear algebraic computation of propositional horn abduction
Tuan Quoc, Katsumi Inoue, Chiaki Sakama, "Linear algebraic computation of propositional horn abduction." In the proceedings of 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), 2021.
Use Google Scholar for full citation