Paper by Harry Vinall-Smeeth accepted for publication at IJCAI'24

The paper “Structured d-DNNF is Not Closed Under Negation” by Harry Vinall-Smeeth was accepted for presentation at IJCAI’24 (https://ijcai24.org/). A preprint is available at https://arxiv.org/abs/2402.04832. The paper studies structured d-DNNF, a prominent circuit class used in artificial intelligence and database theory, and shows that they cannot be negated in polynomial time.