דיאגרמות החלטה של מפות הפיכות מקומיות המוכללות משיגות שיפורי דחיסות אקספוננציאליים על פני Pauli-LIMDDs דרך פעולות קבוצה גדולות יותר; מבססות צורות קנוניות בזמן פולינומיאלי דרך חמש כללי צמצום, מקדמות סימולציה של מעגלים קוונטיים, אימות וסינתזה...

דיאגרמות החלטה של מפות הפיכות מקומיות המוכללות משיגות שיפורי דחיסות אקספוננציאליים על פני Pauli-LIMDDs דרך פעולות קבוצה גדולות יותר; מבססות צורות קנוניות בזמן פולינומיאלי דרך חמש כללי צמצום, מקדמות סימולציה של מעגלים קוונטיים, אימות וסינתזה...