sKizzo: A Suite to Evaluate and Certify QBFs

机译：sKizzo：评估和认证QBF的套件

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present sKizzo, a system designed to evaluate and certify QBFs by means of propositional skolemization and symbolic reasoning.

机译：我们介绍了sKizzo，这是一个旨在通过命题性kolemization和符号推理来评估和认证QBF的系统。

著录项

来源
《International Conference on Automated Deduction; 20050722-27; Tallinn(EE)》|2005年|P.369-376|共8页
会议地点 Tallinn(EE)
作者
Marco Benedetti;
展开▼
作者单位

Istituto per la Ricerca Scientifica e Tecnologica (IRST), Via Sommarive 18, 38055 Povo, Trento, Italy;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Evaluating and certifying QBFs: A comparison of state-of-the-art tools [J] . Massimo Narizzano, Claudia Peschiera, Luca Pulina, AI communications . 2009,第4期

机译：评估和认证QBF：最先进工具的比较
2. The 2016 and 2017 QBF solvers evaluations (Q.BFEVAL'16 and QBFEVAL'17) [J] . Pulina Luca, Seidl Martina Artificial intelligence . 2019,第SEPa期

机译：2016年和2017年QBF求解器评估（Q.BFEVAL'16和QBFEVAL'17）
3. The 2016 and 2017 QBF solvers evaluations (Q.BFEVAL'16 and QBFEVAL'17) [J] . Pulina Luca, Seidl Martina Artificial intelligence . 2019,第Sepa期

机译：2016年和2017年QBF求助者评估（Q.BFeval'16和QBFeval'17）
4. sKizzo: A Suite to Evaluate and Certify QBFs [C] . Marco Benedetti International Conference on Automated Deduction . 2005

机译：Skizzo：评估和证明QBFS的套件
5. Alternatively certified and traditionally certified novice teachers: An evaluative comparison [D] . Lohmeier, Helen Potter. 2000

机译：可替代的通过认证和传统认证的新手教师：评估比较
6. A Practical Evaluation on RSA and ECC-Based Cipher Suites for IoT High-Security Energy-Efficient Fog and Mist Computing Devices [O] . Manuel Suárez-Albela, Paula Fraga-Lamas, Tiago M. Fernández-Caramés 2018

机译：基于RSA和ECC的密码套件的物联网高安全性节能雾和雾计算设备的实用评估
7. Evaluation of the basic surface roughness of an ISO-certified and non-ISO-certified slot bracket with an atomic force microscope [O] . Chrisni Oktavia Jusup, Eky Setiawan Soeria Soemantri, Endah Mardiati, 2019

机译：用原子力显微镜评估ISO认证和非ISO认证的槽支架的基本表面粗糙度
8. Architecture, Requirements, Maturation, and Evaluation of Defensive Aid Suites (ARMED). [R] . Morse, J. 2012

机译：防御性援助设施（aRmED）的架构，要求，成熟度和评估。

sKizzo: A Suite to Evaluate and Certify QBFs

摘要

著录项

相似文献

相关主题

期刊订阅