@misc{indiciaeeced2307cba2, title = {Tractable Boolean and Arithmetic Circuits}, author = {Adnan Darwiche}, year = {2022}, url = {https://arxiv.org/abs/2202.02942}, note = {Source identifier: 2202.02942} }