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