随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
08 2023 档案
并行求解器基础知识学习1
摘要：1.数字化工具的新特征 。。。。 物理机-->虚拟化-->容器化 2.分布式并行编程基础 （1）传相关并行编程框架： MPI（消息传递接口）——一种典型的并行编程框架 OpenCL CUDA （2）HDFS分布式文件系统下的MapReduce并行模式 shuffle 调度 3.并行求解器研究现状 3 阅读全文
posted @ 2023-08-25 10:23 海阔凭鱼跃越 编辑
简化版本的kissat--Sat Solver SATCH
摘要：摘自：https://fmv.jku.at/software/index.html Sat Solver SATCH This is the source code of SATCH a SAT solver written from scratch in C. The actual version 阅读全文
posted @ 2023-08-19 15:59 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示