注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 2-sat 求解

  2. 2-sat在近期的比赛中出现的很多，一般会结合二分来进行出题

  3. 所属分类：C/C++

    • 发布日期：2011-11-15
    • 文件大小：47104
    • 提供者：liwei0302

  1. miniSAT求解器

  2. MiniSAT是简约的求解器，开源的布尔可满足问题求解器。由研究人员和开发人员共同研发。并得到麻省理工大学的许可并发布。给SAT求解器一个逻辑命题，包含与或非逻辑符号以及若干布尔变量，SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。如果可满足，SAT求解器（包括MiniSAT）得到结果判定命题公式集是真的。很多问题都可以转换成SAT求解问题，并利用现有的SAT求解器，方便给出问题的所有答案。

  3. 所属分类：其它

    • 发布日期：2012-09-09
    • 文件大小：49152
    • 提供者：cailisha

  1. 最新的cryptominisat4求解器

  2. 可做代数攻击求解的。windows环境下的SAT求解器

  3. 所属分类：教育

    • 发布日期：2014-05-16
    • 文件大小：582656
    • 提供者：lilang911

  1. 快速简洁的SAT求解器Gini.zip

  2. Gini 是一个快速、简洁的 SAT 求解器。安装go get github.com/irifrance/gini...SAT 问题可能是最着名的 NP-complete 问题。 因此，SAT 求解器可用于尝试解决难题，例如旅行商问题或 RSA 破解。 在实践中，许多 SAT 问题是很容易的（但还不能解密问题）。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。 标签：Gini

  3. 所属分类：其它

    • 发布日期：2019-07-19
    • 文件大小：417792
    • 提供者：weixin_39840515

  1. Go-Gini-一种采用Go开发的快速简洁的SAT求解器

  2. Gini - 一种采用Go开发的快速、简洁的SAT求解器

  3. 所属分类：其它

    • 发布日期：2019-08-14
    • 文件大小：420864
    • 提供者：weixin_39840914

  1. simple-sat, 在 python 中，编写了简单的递归和迭代SAT求解器.zip

  2. simple-sat, 在 python 中，编写了简单的递归和迭代SAT求解器 简单 SAT: 简单 python SAT求解器这个项目是一个简单的递归和迭代实现的回溯，基于观察的，SAT求解器。 代码基本上是基于knuth程序的，可以在这里找到 。 迭代代码的版本更接近于 knuth，但稍微复杂一点。 递归的版本相

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：50176
    • 提供者：weixin_38743506

  1. cryptominisat, 高级SAT求解器.zip

  2. cryptominisat, 高级SAT求解器 CryptoMiniSat SAT解算器系统提供 CryptoMiniSat，一种先进的SAT求解器。 系统有 3个接口： 命令行，C 库和 python 。 命令行接口以 cnf 作为 DIMACS

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：1048576
    • 提供者：weixin_38743602

  1. cryptominisat, 高级SAT求解器.zip

  2. cryptominisat, 高级SAT求解器 CryptoMiniSat SAT解算器系统提供 CryptoMiniSat，一种先进的SAT求解器。 系统有 3个接口： 命令行，C++ 库和 python 。 命令行接口以 cnf 作为 DIMACS

  3. 所属分类：其它

    • 发布日期：2019-10-10
    • 文件大小：1048576
    • 提供者：weixin_38743602

  1. SAT和SMT求解器简介：Introduction to SAT and SMT Solvers

  2. Introduction to SAT and SMT Solvers, Interfacing Yosys and SMT Solversfor BMC and more using SMT-LIB 2.5

  3. 所属分类：网络安全

    • 发布日期：2020-11-14
    • 文件大小：207872
    • 提供者：HowieXue

  1. 基于硬件模拟的SAT求解框架

  2. 基于硬件模拟的SAT求解框架

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：498688
    • 提供者：weixin_38576392

  1. rustsat:Rust中的SAT求解器-源码

  2. s Rust中的SAT求解器

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：7168
    • 提供者：weixin_42151599

  1. 基于局部max-sat求解器的RBAC授权查询方法

  2. 基于局部max-sat求解器的RBAC授权查询方法

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：1014784
    • 提供者：weixin_38637144

  1. Sudoku:DPLL SAT求解器应用于Sudoku-源码

  2. 数独 DPLL SAT求解器应用于Sudoku

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：8192
    • 提供者：weixin_42139460

  1. sat2021:CDCL SAT求解器中基于哈希的预处理-源码

  2. sat2021 该存储库包含我提交给SAT ​​2021会议的代码，这是我的出版物“ SAT求解器中基于哈希的预处理和处理技术”的一部分。 我提供了三种处理技术的实现：本文详细介绍了包含，消除子句消除和有界变量消除。 这些方法已在2020年SAT竞赛基准上进行了测试，您可以从下载（解压缩后约为30GB，因此我在此处未包括）。 如果您想复制本文的实验，请从下载Main Track基准数据集，并将其放置在文件夹/ p​​ath_to_repository / sat2021 / build /

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：2048
    • 提供者：weixin_42108778

  1. Binary-Sudoku-Solver:使用SAT求解器求解二进制数独-源码

  2. 二进制数独解算器 使用SAT求解器求解二进制数独

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：16384
    • 提供者：weixin_42109732

  1. SAT求解器-源码

  2. SAT求解器

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：52224
    • 提供者：weixin_42137022

  1. 基于硬件可编程逻辑的SAT求解算法研究与进展

  2. 基于硬件可编程逻辑的SAT求解算法研究与进展

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：1048576
    • 提供者：weixin_38632624

  1. micro_sp_sat：用于micro_sp的简单SAT求解器-源码

  2. micro_sp_sat 用于micro SP的简单SAT求解器

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：24576
    • 提供者：weixin_42157166

  1. homebrew-touist：for TouIST公式的Homebrew回购（和一些求解器）-源码

  2. 家酿旅游 我想更轻松地使用touist版本的Homebrew以及一些QBF和SAT求解器。 安装touist ： brew install touist/touist/touist 推送新版本： brew bump-formula-pr touist/touist/touist --url=https://github.com/touist/touist/archive/v3.4.4.tar.gz 当PR为绿色时，请在本地拉PR： HOMEBREW_BINTRAY_USER=maelva

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：15360
    • 提供者：weixin_42160252

  1. sat_solver_resolution：基于2-CNF中使用PLY的解析方法的SAT求解器-源码

  2. 基于解析方法的SAT求解器 HSE算法和软件设计离散数学课程中的家庭作业项目。 基于解析工具。 任务描述 给定2-CNF中的布尔公式，请使用解析方法确定是否可满足要求。 2-CNF的子句可以是以下两种形式之一：α\ /β或α->β，其中α和β是文字（p或〜p，其中p是变量）。 CNF以常用符号表示，例如：（p-> q）/ \（〜r \ / s）/ \（〜q-> p） 例 $ python hw_ply.py input > (p -> q) /\ (~r \/ s)

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：2048
    • 提供者：weixin_42135073
« 12 3 4 »