温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本公开提供一种可编程交换机处理SAT问题的数据处理方法，包括：可编程交换机接收服务器预处理后的SAT公式数据；可编程交换机接收服务器发送的求解指令；可编程交换机对SAT问题求解；可编程交换机将SAT问题求解结果发送至服务器。本公开还提供一种...
该专利属于厦门大学所有，仅供学习研究参考，未经过厦门大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。