Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (October 1998). "Solution of Boolean equations". Computational Mathematics and Modeling. 9 (4): 287–295. doi:10.1007/BF02409862. S2CID122112834. (Translated from "Metody Matematicheskogo Modelirovaniya", 1998, pp. 59–68.)
semanticscholar.org
api.semanticscholar.org
Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (October 1998). "Solution of Boolean equations". Computational Mathematics and Modeling. 9 (4): 287–295. doi:10.1007/BF02409862. S2CID122112834. (Translated from "Metody Matematicheskogo Modelirovaniya", 1998, pp. 59–68.)