Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson. A Sublinear Sudoku Solution in cP Systems and its Formal Verification. The Computer Science Journal of Moldova, 29(1):3-28, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.