V. Thorve, “Unsheathing input to SAT solver from logic circuit in DIMAC format”, Int. J. Comp. Sci. Eng., vol. 8, no. 7, pp. 132–135, Jul. 2020.