Verification of consensus algorithms using satisfiability solving

机译：使用可满足求解验证共识算法

代理获取

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

页面导航

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

著录项

作者
Tatsuhiro Tsuchiya; André Schiper;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Verification of consensus algorithms using satisfiability solving Tatsuhiro [J] . Tsuchiya, Andre Schiper Distributed Computing . 2011,第5a6期

机译：使用可满足性求解的Tatsuhiro验证共识算法
2. A survey of the satisfiability-problems solving algorithms [J] . Yousef Kilani, Mohammad Bsoul, Ayoub Alsarhan, International journal of advanced intelligence paradigms . 2013,第3期

机译：可满足性问题求解算法概述
3. Complete Boolean Satisfiability Solving Algorithms Based on Local Search [J] . Wen-Sheng Guo, Guo-Wu Yang, William N.N.Hung, 计算机科学技术学报（英文版） . 2013,第002期

机译：基于局部搜索的完整布尔可满足性求解算法
4. Solving query-answering problems using all-solution satisfiability solvers: Algorithm and correctness [C] . Akama Kiyoshi, Nantajeewarawat Ekawit World Congress on Information and Communication Technologies . 2013

机译：使用全解决方案可满足性求解器解决查询问题：算法和正确性
5. Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability. [D] . Backes, John D. 2013

机译：使用布尔可满足性进行逻辑综合和验证的算法和数据结构。
6. Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming [O] . Hendrik Schawe, Roman Bleim, Alexander K. Hartmann 2012

机译：线性规划研究随机可满足性问题的典型算法复杂度的相变
7. Algorithms for Solving Satisfiability Problems with Qualitative Preferences [O] . Enrico Giunchiglia, Marco Maratea 2013

机译：用定性偏好求解可满足性问题的算法
8. Certified Satisfiability Module Theories (SMT) Solving for System Verification. [R] . Barrett, C., Ekici, B., Hadarean, L., 2017

机译：认证可满足性模块理论（smT）解决系统验证。

Verification of consensus algorithms using satisfiability solving

著录项

引文网络

相似文献

相关主题

期刊订阅