Giải bài toán n-quân hậu bằng phương pháp lập trình ràng buộc. - Lê, Thanh Dũng (Trường Đại học Sư phạm, Đại học Đà Nẵng, 2013)