文件名称：3SAT_Solver_Incomplete:这是一个使用 DPLL 和随机分配方法用 C++ 和 CUDA C++ 编写的 3-SAT 求解器
文件大小：23KB
文件格式：ZIP
更新时间：2024-07-18 20:00:22
C++
3SAT_Solver_Incomplete 这是一个不完整的 3-SAT 求解器，使用 DPLL 和随机分配方法用 C++ 和 CUDA C++ 编写。 要运行此代码，您需要 (1) Visual Studio 2010 或更高版本 (2) CUDA 6 或更高版本 (3) NVIDIA GPU（启用 CUDA）。 (4) DIMACS 格式的数据文件，用于测试公式。 说明： (1) 将所有这些文件放在您在 Visual Studio 中创建的项目中的解决方案中。 (2) 将文件的路径放在读取文件的函数中。 (3) 删除DIMACS 格式文件的第一行，直到数据开始点。 (4) 删除DIMACS 格式数据文件中最后的结束行。 (3)构建并运行main.cpp文件 方法：不完整的 DPLL 算法和随机分配。 动机：评估单元传播和纯文字分配（DPLL 的一部分），然后对文字执行随机分配以
【文件预览】：
3SAT_Solver_Incomplete-master
----main.cpp(2KB)
----SatSolverGPU.cu(14KB)
----README.md(1KB)
----common.h(4KB)
----SatSolverCPU.cpp(15KB)
----LICENSE.md(34KB)