Thorve, Vaishnavi. “Unsheathing Input to SAT Solver from Logic Circuit in DIMAC Format”. International Journal of Computer Sciences and Engineering, vol. 8, no. 7, July 2020, pp. 132-5, doi:10.26438/ijcse/v8i7.132135.