'''Quay luilới''' ([[tiếng Anh]]: ''backtracking'') là một chiến lược tìm kiếm lời giải cho các [[bài toán thỏa mãn ràng buộc]]. Người đầu tiên đề ra thuật ngữ này (''backtrack'') là [[danh sách nhà toán học|nhà toán học]] người [[Hoa Kỳ|Mỹ]] [[Derrick Henry Lehmer|D. H. Lehmer]] vào những năm 1950.