Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness