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 ( A preprint is available at 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.