APA Citation

Nguyen Hung, T., & Tiu, A. F. (2017). Building a puzzle games solver using SAT solver.

Chicago Style Citation

Nguyen Hung, Thai, and Alwen Fernanto Tiu. Building a Puzzle Games Solver Using SAT Solver. 2017.

MLA Citation

Nguyen Hung, Thai, and Alwen Fernanto Tiu. Building a Puzzle Games Solver Using SAT Solver. 2017.

Warning: These citations may not always be 100% accurate.