2025
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD
AAAI 2025technical
Knowledge compilation is a method of transforming knowledge into a compressed and tractable form for permitting more efficient operations. For Boolean functions, numerous representations have been proposed that enhance succinctness and tractability. In this paper, we introduce a new representation n…