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