Onaka, R., Nakamura, K., Nishino, M., & Yasuda, N. (2025). An And-Sum Circuit with Signed Edges That Is More Succinct than SDD. Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), 15100–15108. https://doi.org/10.1609/aaai.v39i14.33656