- 综合排序
- 最热优先
- 最新优先
- 来自专栏一个会写诗的程序员的博客
关于实用可满足性模理论（SMT）求解 Practical Satisfiability Modulo Theories (SMT) Solving
In computer science and mathematical logic, the satisfiability modulo theories (SMT) problem is a decision https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
85020编辑于 2022-03-07 - 来自专栏绿巨人专栏
可满足性模块理论(SMT)基础 - 01 - 自动机和斯皮尔伯格算术
可满足性模理论(SMT - Satisfiability Modulo Theories)已经可以实现这个需求。 因此，最近想搞明白z3的实现原理。源代码没有读两句，还是找了本教材来看。 可满足性模理论(SMT - Satisfiability Modulo Theories) 基本概念 数学上，这个问题属于逻辑的范畴。 SAT(boolean satisfiability problem) - 布尔可满足性问题 给定一个逻辑公式，判断是否存在解。 Thesis 2007), Decision Procedures for Bit-Vectors, Arrays and Integers Satisfiability Modulo Theories
3.8K91发布于 2018-05-17 - 来自专栏PawSQL，在线的自动化SQL优化工具！
高级SQL优化 | SAT-TC重写优化
定义 本文介绍PawSQL及数据库优化器中实现的SAT-TC(Satisfiability-Transitive Closure) 重写优化，SAT-TC重写优化会分析一组谓词，并试图判断: 谓词间是否存在矛盾 l_orderkey = o_orderkey and l_orderkey = 'ORD1234' and o_orderkey = 'ORD1234'; PawSQL支持的TC优化包括： SAT(Satisfiability
50310编辑于 2024-08-20 - 来自专栏CreateAMind
因果推理和概率推理难度一样？
reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability
56820编辑于 2022-11-22 - 来自专栏Rust语言学习交流
【Rust日报】2022-06-18 Rust 嵌入式生态系统和工具概述
这意味着 CreuSAT 解决了布尔可满足性问题（Boolean Satisfiability Problem，称为 SAT）。
45520编辑于 2022-11-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★
文章目录 一、NP 完全问题 - 布尔可满足性问题 ★ 二、布尔可满足性问题是 NP 完全问题证明思路 一、NP 完全问题 - 布尔可满足性问题 ★ ---- 布尔可满足性问题 ( Boolean Satisfiability 布尔逻辑公式可满足 ; 存在一个赋值 , 使得布尔逻辑公式为真 , 该布尔逻辑公式就是可满足的 ; 将 所有 可满足的布尔逻辑公式 , 放在一起 , 组成一个整体 , 称为 布尔可满足性问题 ( Boolean Satisfiability
1.3K00编辑于 2023-03-28 - 来自专栏Michael阿明学习之路
LeetCode 990. 等式方程的可满足性（并查集）
equations[i][2] 是 '=' 来源：力扣（LeetCode） 链接：https://leetcode-cn.com/problems/satisfiability-of-equality-equations
69530发布于 2020-07-13 - 来自专栏全栈程序员必看
python知识推理知识图谱_知识图谱系列–知识推理
知识推理就是通过各种方法获取新的知识或者结论，这些知识和结论满足语义，其具体任务可分为可满足性(satisfiability)、分类(classification)、实例化(materialization
2.5K12编辑于 2022-09-06 - 来自专栏Flowlet
符号执行 (Symbolic Execution) 与约束求解 (Constraint Solving)
常见的约束模型包括 布尔可满足性问题（Boolean Satisfiability或Propositional Satisfiability, 简称SAT）; 数学规划（也称为运筹优化，尤其以混合整数线性规划为代表 ）; 可满足性模理论（Satisfiability Modulo Theories, 简称SMT），SMT其实就是限定背景理论的一阶谓词逻辑; 约束满足问题（Constraint Satisfaction 2.3 SAT 问题求解 SAT问题（The Satisfiability Problem，可满足性问题），最典型的是布尔可满足性问题，是指求解由布尔变量集合组成的布尔表达式，是否存在一组布尔变量的值， SMT（Satisfiability Module Theories， 可满足性模理论），是在SAT问题的基础上扩展而来的，SMT求解器的求解范围从命题逻辑公式扩展为可以解决一阶逻辑所表达的公式。 等主流编程语言的API）： （正文完） end Reference： 符号执行研究综述 符号执行中的约束求解问题研究进展 约束求解 基于符号执行与混合约束求解的测试用例生成研究 静态代码分析之约束求解简介 Satisfiability
2K10编辑于 2024-01-05 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算复杂性 ( 多项式时间规约 | NP 完全 ★ | 布尔可满足性问题 ) ★
要验证的 \rm C 问题 , 进行规约 , 就知道 \rm C 问题是否是 \rm NP 完全的 ; 历史已经找到了一个 \rm NP 完全问题 : 布尔可满足性问题 ( Boolean Satisfiability
90600编辑于 2023-03-28 - 来自专栏脑洞前端
【算法提高班】并查集
等式方程的可满足性: https://leetcode-cn.com/problems/satisfiability-of-equality-equations/solution/mo-ban-ti-bing-cha-ji-python3
65220发布于 2020-02-26 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )
文章目录 一、3-SAT 是 NP 完全问题 二、团问题是 NP 完全问题 三、团问题是 NP 完全问题 证明思路 一、3-SAT 是 NP 完全问题 ---- 布尔可满足性问题 ( Boolean Satisfiability
2.3K00编辑于 2023-03-28 - 来自专栏彭旭锐
如何使用并查集解决朋友圈问题？
等式方程的可满足性: https://leetcode-cn.com/problems/satisfiability-of-equality-equations/ [3] LeetCode · 684. leetcode-cn.com/problems/redundant-connection/ [4] LeetCode · 990.: https://leetcode-cn.com/problems/satisfiability-of-equality-equations 等式方程的可满足性: https://leetcode-cn.com/problems/satisfiability-of-equality-equations/ [7] 【题解】: https://github.com
2K30编辑于 2022-12-22 - 来自专栏AI科技评论
学界 | 一览 CMU 的 33 篇 ICML 2019 论文
Alone 证明仅仅从观察就可以实现高效的模仿学习 SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability
55220发布于 2019-05-15 - 来自专栏量子位
秒秒钟揪出张量形状错误，这个工具能防止ML模型训练白忙一场
离线分析 Z3/Python：如果线上分析没有问题，PyTea将收集到的约束条件传给SMT（Satisfiability Modulo Theories）求解器 Z3，求解器负责查看每条路径的约束条件是否都能被满足
81140编辑于 2021-12-29 - 来自专栏AI研习社
学界 | 一览 CMU 的 33 篇 ICML 2019 论文
Alone 证明仅仅从观察就可以实现高效的模仿学习 SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability
85710发布于 2019-05-17 - 来自专栏专知
【论文推荐】最新5篇信息抽取（IE）相关论文—开放信息抽取、不完整信息、主动学习、越南语、依存分析
computational properties of these languages, focusing on the query enumeration problem, as well as satisfiability
1.3K50发布于 2018-04-13 - 来自专栏FreeBuf
Angr AEG：堆溢出之Exploit自动生成
3、约束条件构造 对于 Exploit 自动生成问题来说，其关键是构造合适的约束条件，并利用 SMT(Satisfiability Modulo Theories) 约束求解器求解，若约束可解，则生成成功
1.9K30发布于 2019-03-08 - 来自专栏全栈程序员必看
【知识图谱】知识推理[通俗易懂]
文章目录 一、本体知识推理简介 1、OWL本体语言 2、描述逻辑 （1）描述逻辑系统 （2）描述逻辑的语义 3、知识推理任务分类 （1）可满足性(satisfiability) （2）分类(classification 具体任务可分为： 可满足性(satisfiability)（针对TBox） 分类(classification)（针对TBox） 实例化(materialization)（针对ABox） （1）可满足性 (satisfiability) 本体可满足性 检查一个本体是否可满足，即检查该本体是否有模型。
4.9K21编辑于 2022-06-29 - 来自专栏机器之心
有了这个工具，不执行代码就可以找PyTorch模型错误
PyTea 将收集到的约束集提供给 SMT（Satisfiability Modulo Theories）求解器 Z3，以判断这些约束对于每个可能的输入形状都是可满足的。
1.4K40编辑于 2021-12-27
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号