Hai thách thức chính duy nhất để phân tích mang tính biểu tượng:
1. Hạn chế Giải quyết
một. NP-đầy đủ, nói chung
b. "không phải lĩnh vực của chúng tôi"
2. Nổ nhà nước
một. Tất cả các kết quả của một đoạn mã phải được xem xét.
B. Loops!
đang được dịch, vui lòng đợi..
