Bài toán smt

Tóm tắt Luận án Tiến sĩ Kỹ thuật "Nghiên cứu phát triển thuật toán Metaheuristic giải bài toán cây Steiner nhỏ nhất định hướng ứng dụng cho thiết kế hệ thống mạng" được nghiên cứu với mục tiêu: Nghiên cứu phát triển một số thuật toán dạng heuristic và Metaheuristic nhằm giải bài toán SMT một cách hiệu quả và định hướng ứng dụng cho thiết kế hệ thống mạng.

27p vimurdoch 02-10-2023 13 5   Download

Vấn đề giải quyết các bài toán Satisfiability Modulo Theories (SMT) hiện nay đang được nghiên cứu và phát triển ở nhiều nơi trên thế giới. Cho đến ngày nay, nhiều trường đại học, tổ chức đã nghiên cứu và đưa ra những bộ giải giải quyết bài toán SMT (hay còn gọi là SMT solver). Ví dụ như Z3 của Mcrosoft, yices của SRI, CVC3 của một số trường đại học danh tiếng của Mỹ. hay boolector, openSMT của một số trường đại học danh tiếng khác…...

47p truongnghen 30-08-2012 136 28   Download