C-D23-CAMPAIGN

Chiến dịch trạng-thái-tương-thích đầy đủ MỞ: liệu các cut sớm vững, hiệu quả thực chất có đẩy số trạng thái sống sót (khả dĩ VÀ base-improper mọi prime VÀ improper level 14/28/42) đủ thấp để chứng nhận rỗng trong cap đã đóng băng hay không thì chưa đo. D23-PASS lập một cơ chế pruning hiệu quả, không phải kết quả chiến dịch

Nói dễ hiểu

Các cut sớm cắt mạnh, nhưng liệu điều đó có đủ để kiểm cả không gian tìm trong giới hạn là phép đo mở tiếp theo.

Phát biểu chính xác

Chiến dịch trạng-thái-tương-thích đầy đủ MỞ: liệu các cut sớm vững, hiệu quả thực chất có đẩy số trạng thái sống sót (khả dĩ VÀ base-improper mọi prime VÀ improper level 14/28/42) đủ thấp để chứng nhận rỗng trong cap đã đóng băng hay không thì chưa đo. D23-PASS lập một cơ chế pruning hiệu quả, không phải kết quả chiến dịch