... được bài toán SMT và tham số về thời gian thực hiện bài toán gửi từ máy khách, máy chủ sẽ phân phối các bài toán đó cho các máy trạm có bộ giải các bài toán SMT ... xác định bài toán SMT, hệ thống máy khách sẽ gửi bài toán toán đó cho máy chủ đồng thời gửi thông tin về thời gian giới hạn thực hiện giải bài toán và chờ ... trên máy khách, người dùng sẽ đưa vào tệp tin chứa bài toán SMT hoặc xây dựng bài toán SMT dựa trên các hàm nhúng API mà hệ thống xây dựng. Bài toán sẽ được gửi lên...