Nguyen Hung, T., & Tiu, A. F. (2017). Building a puzzle games solver using SAT solver.
استشهاد بنمط شيكاغوNguyen Hung, Thai, و Alwen Fernanto Tiu. Building a Puzzle Games Solver Using SAT Solver. 2017.
MLA استشهادNguyen Hung, Thai, و Alwen Fernanto Tiu. Building a Puzzle Games Solver Using SAT Solver. 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.