Thorve, V. (2020) “Unsheathing input to SAT solver from logic circuit in DIMAC format”, International Journal of Computer Sciences and Engineering, 8(7), pp. 132–135. doi: 10.26438/ijcse/v8i7.132135.