Onaka, R.; Nakamura, K.; Nishino, M.; Yasuda, N. An And-Sum Circuit With Signed Edges That Is More Succinct Than SDD. AAAI 2025, 39, 15100-15108.