Emelyanov P. Conjunctive Decomposition of Boolean Functions: Experiments with Different Representations // # 18, 2021