可编程交换机处理SAT问题的数据处理方法及可编程交换机

摘要

本公开提供一种可编程交换机处理SAT问题的数据处理方法，包括：可编程交换机接收服务器预处理后的SAT公式数据；可编程交换机接收服务器发送的求解指令；可编程交换机对SAT问题求解；可编程交换机将SAT问题求解结果发送至服务器。本公开还提供一种可编程交换机。