Thorve, Vaishnavi. “Unsheathing Input to SAT Solver from Logic Circuit in DIMAC Format”. International Journal of Computer Sciences and Engineering 8, no. 7 (July 31, 2020): 132–135. Accessed February 2, 2026. https://ijcse.isroset.org/index.php/j/article/view/6128.