首页> 外文OA文献 >Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver

【2h】

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver

机译：借助外部SAT解算器在Mizar证明检查中自动执行布尔集操作

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Adam Naumowicz;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver [J] . Naumowicz Adam Journal of Automated Reasoning . 2015,第3期

机译：借助外部SAT解算器在Mizar证明检查中自动执行布尔集操作
2. Interfacing external CA systems for Groebner bases computation in Mizar proof checking [J] . Adam Naumowicz International journal of computer mathematics . 2010,第1a3期

机译：用于Mizar证明检查的Groebner基计算的外部CA系统接口
3. Bounded Model Checking Of Software Using Smt Solvers Instead Of Sat Solvers [J] . Alessandro Armando, Jacopo Mantovani, Lorenzo Platania International Journal on Software Tools for Technology Transfer . 2009,第1期

机译：使用Smt求解器而非Sat求解器进行软件的有界模型检查
4. SAT-Enhanced Mizar Proof Checking [C] . Adam Naumowicz International conference on intelligent computer mathematics . 2014

机译：SAT增强的Mizar证明检查
5. Prescriptive Safety-Checks through Automated Proofs for Control-Flow Integrity. [D] . Tan, Jiaqi. 2016

机译：通过自动证明进行规定性安全检查，以实现控制流完整性。
6. Optimizing efficiency and safety in external beam radiotherapy using automated plan check (APC) tool and six sigma methodology [O] . Shi Liu, Karl K. Bush, Julian Bertini, 2019

机译：使用自动计划检查（APC）工具和6 sigma方法论优化外照射治疗的效率和安全性
7. On a p-Optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT) [O] . Zenon Sadowski 2007

机译：关于所有可满足布尔公式（saT）集的p-最优证明系统

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver

著录项

引文网络

相似文献

相关主题

期刊订阅