{"type":"ScholarlyArticle","title":"Efficient Minimization of Decision-DNNF Circuits via Semantic Hashing and Provenance Tracking","authors":[{"name":"Armin Biere","slug":"armin-biere","given":"Armin","family":"Biere","affiliation":""},{"name":"Jean-Marie Lagniez","slug":"jean-marie-lagniez","given":"Jean-Marie","family":"Lagniez","affiliation":""},{"name":"Emmanuel Lonca","slug":"emmanuel-lonca","given":"Emmanuel","family":"Lonca","affiliation":""}],"abstract":"Knowledge Compilation transforms propositional formulas into tractable structures like decision-DNNF to support efficient reasoning. However, these representations often suffer from exponential size, and standard minimization via SAT sweeping is computationally prohibitive for large instances. In this paper, we propose a scalable minimization framework for decision-DNNF that eliminates the need for SAT solvers. We introduce a semantic hashing technique leveraging polynomial-time model counting to rapidly filter redundancies, followed by a polynomial-time verification strategy based on CNF projection. Our experimental evaluation demonstrates that this approach efficiently compresses decision-DNNF circuits while avoiding the bottleneck of NP-hard equivalence checks.","doi":"10.24963/ijcai.2026/420","url":"https://ijcai.org/proceedings/2026/420","pdf":"https://ijcai.org/proceedings/2026/0420.pdf","markdown":"https://ijcai.org/proceedings/2026/420.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/420","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":420,"pages":{"first":3774,"last":3782},"keywords":["Knowledge Representation and Reasoning: Knowledge compilation"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}