Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group
यह शोध पत्र Generalized LIMDDs को प्रस्तुत करता है, जो एक समूह के मॉड्युलो संक्षिप्त निर्णय आरेख (decision diagrams) के लिए एक ढांचा है जो समूहों के एक दो-पैरामीटर परिवार के माध्यम से Pauli-LIMDDs की तुलना में घातांकीय सुधार प्राप्त करता है, साथ ही उनकी कैनोनिसिटी (canonicity), बहुपद-समय गणनात्मकता (polynomial-time computability), और प्रमुख प्रश्नों एवं रूपांतरणों के लिए सुग्राह्यता (tractability) स्थापित करता है।