Ví dụ, Cavzty có thể đề cập đến việc tôi răng wisdom thấp hơn bên trái có một khoang. Biến ngẫu nhiên đóng một vai trò tương tự như của CSP biến hạn chế sự hài lòng của vấn đề và đề xuất các biểu tượng trong propositional logic.
đang được dịch, vui lòng đợi..
