Nguyen Hung, T., & Tiu, A. F. (2017). Building a puzzle games solver using SAT solver.
Chicago Style CitationNguyen Hung, Thai, and Alwen Fernanto Tiu. Building a Puzzle Games Solver Using SAT Solver. 2017.
MLA引文Nguyen Hung, Thai, and Alwen Fernanto Tiu. Building a Puzzle Games Solver Using SAT Solver. 2017.
警告：這些引文格式不一定是100％准確.