Added goal deletion, introduced in

Added goal deletion, introduced in Section 6.2, cuts out branches where some goal has apparently b een achieved to o early.

Kết quả (Việt) 1:

thêm xóa mục tiêu, được giới thiệu trong phần 6.2, cắt ra chi nhánh nơi một số mục tiêu có vẻ een b đạt được để o đầu.

Kết quả (Việt) 2:

Thêm vào mục tiêu xoá, được giới thiệu trong phần 6,2, cắt giảm trong chi nhánh nơi một số mục tiêu rõ ràng có b een đạt được để sớm.