Tài liệu đề tài nghiên cứu phương pháp chc sử dụng mô hình song song để giải quyết bài toán maxsat