云南高校图书馆联盟文献共享服务平台- SATISFIABILITY

SATISFIABILITY: 作品数：36被引量：51H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：赵宗涛虞蕾高济古华茂石锦芹更多>>; 相关机构：清华大学国防科学技术大学第二炮兵工程学院浙江工商大学更多>>; 相关期刊：《Science China Mathematics》《Chinese Journal of Electronics》《Journal of Computer Science & Technology》《Applied Mathematics》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划广西壮族自治区自然科学基金中国博士后科学基金更多>>

Minimal Context-Switching Data Race Detection with Dataflow Tracking: 《Journal of Computer Science & Technology》2024年第1期211-226,共16页郑龙李洋辛杰刘海峰郑然廖小飞金海; This work is supported by the National Key Research and Development Program of China under Grant No.2023YFB4503400;the National Natural Science Foundation of China under Grant Nos.62322205,62072195,and 61825202.; Data race is one of the most important concurrent anomalies in multi-threaded programs.Emerging con-straint-based techniques are leveraged into race detection,which is able to find all the races that can be found by a...; 关键词：data race satisfiability modulo theory multi-threaded program dynamic detection

Exact satisfiability and phase transition analysis of the regular(k,d)-CNF formula: 《Frontiers of Computer Science》2024年第1期263-265,共3页Guoxia NIE Daoyun XU Xi WANG Zaijun ZHANG; funded by the National Natural Science Foundation of China(Grant Nos.61862051,62241206 and 62062001);the Science and Technology Plan Project of Guizhou Province(Grant No.Qiankehe Foundation-ZK[2022]General 550).; 1Introduction The satisfiability(SAT)problem has been considered the"seed"of other NP-complete problems.The regular partial exact(k,d)-SAT problem is an important extension of the SAT problem.For any(k,d)-CNF formula ...; 关键词：FORMULA constraint EXACT

DiagDO: an efficient model based diagnosis approach with multiple observations: 《Frontiers of Computer Science》2023年第6期125-134,共10页Huisi ZHOU Dantong OUYANG Xinliang TIAN Liming ZHANG; supported by the National Natural Science Foundation of China(Grant Nos.62076108,61972360,and 61872159).; Model-based diagnosis(MBD)with multiple observations shows its significance in identifying fault location.The existing approaches for MBD with multiple observations use observations which is inconsistent with the pred...; 关键词：model based diagnosis maximum satisfiability top-level diagnosis cardinality-minimal diagnosis subset-minimal diagnosis

Evolution Performance of Symbolic Radial Basis Function Neural Network by Using Evolutionary Algorithms: 《Computer Systems Science & Engineering》2023年第10期1163-1184,共22页Shehab Abdulhabib Alzaeemi Kim Gaik Tay Audrey Huong Saratha Sathasivam Majid Khan bin Majahar Ali; This work is supported by Ministry of Higher Education(MOHE)through Fundamental Research Grant Scheme(FRGS)(FRGS/1/2020/STG06/UTHM/03/7).; Radial Basis Function Neural Network(RBFNN)ensembles have long suffered from non-efficient training,where incorrect parameter settings can be computationally disastrous.This paper examines different evolutionary algor...; 关键词：Satisfiability logic programming symbolic radial basis function neural network evolutionary programming algorithm genetic algorithm evolution strategy algorithm differential evolution algorithm

A Semi-Tensor Product Based All Solutions Boolean Satisfiability Solver被引量：1: 《Journal of Computer Science & Technology》2023年第3期702-713,共12页潘鸿洋储著飞; supported in part by the National Natural Science Foundation of China under Grant No.61871242;in part by the State Key Laboratory of ASIC(Application Specific Integrated Circuit)&System of China under Grant No.2021KF008.; Boolean satisfiability (SAT) is widely used as a solver engine in electronic design automation (EDA). Typically, SAT is used to determine whether one or more groups of variables can be combined to form a true formula....; 关键词：all solutions Boolean satisfiability(AllSAT) semi-tensor product of matrices conjunctive normal form(CNF)satisfiability circuit satisfiability

Differential Analysis of ARX Block Ciphers Based on an Improved Genetic Algorithm被引量：4: 《Chinese Journal of Electronics》2023年第2期225-236,共12页KANG Man LI Yongqiang JIAO Lin WANG Mingsheng; supported by the National Natural Science Foundation of China(61772516,61902030,61772517).; Differential cryptanalysis is one of the most critical analysis methods to evaluate the security strength of cryptographic algorithms.This paper first applies the genetic algorithm to search for differential character...; 关键词：Genetic algorithm Differential cryptanalysis SPECK Satisfiability(SAT)

Modified 2 Satisfiability Reverse Analysis Method via Logical Permutation Operator: 《Computers, Materials & Continua》2023年第2期2853-2870,共18页Siti Zulaikha Mohd Jamaludin MohdAsyraf Mansor Aslina Baharum Mohd Shareduwan Mohd Kasihmuddin Habibah A.Wahab Muhammad Fadhil Marsani; Universiti Sains Malaysia for Short Term Grant with Grant Number 304/PMATHS/6315390.; The effectiveness of the logic mining approach is strongly correlated to the quality of the induced logical representation that represent the behaviour of the data.Specifically,the optimum induced logical representati...; 关键词：Logic mining logical permutation discrete hopfield neural network knowledge extraction

Satisfiability threshold of the random regular(s,c,k)-SAT problem: 《Frontiers of Computer Science》2022年第3期227-229,共3页Xiaoling MO Daoyun XU Kai YAN Zaijun ZHANG; the National Natural Science Foundation of China(Grant Nos.61762019,61862051 and 62062001);The Science and Technology Foundation of Guizhou Province(Qian Ke Ping Tai Ren Cai[2019]QNSYXM-05).; 1Introduction The satisfiability(SAT)problem is always a core problem in the field of computer science.Its theoretical and applied research have long been the common attention of many scholars in the field of artifici...; 关键词：problem. PROBLEM combinatorial

An algorithm for solving satisfiability problem based on the structural information of formulas: 《Frontiers of Computer Science》2021年第6期191-193,共3页Zaijun ZHANG Daoyun XU Jincheng ZHOU; This work was supported by the National Natural Science Foundation of China(Grant Nos.61762019 and 61862051),the Young Science and Technology Talent Growth Fund Project of Education Department of Guizhou Province(Qian Jiao He KY Zi[2017J343),the Science and Technology Foundation of Guizhou Province([2019]1299),the Top-notch Talent Program of Guizhou province(KY[2018]080),the Industrial Technology Foundation of Qiannan State(Qiannan Ke He Gong Zi(2017)16 Hao,[2017]10),the General program of Qiannan Normal University for Nationalities(qnsy2018016 and QNSYRC201715).; 1 Introduction The propositional satisfiability(SAT)problem is an important and prototypical NP-hard problem in theoretical computer science[1].Many efforts have been made for designing high-performance SAT solvers.Th...; 关键词：SATISFIABILITY TECHNIQUE COMPUTER

Efficient Static Compaction of Test Patterns Using Partial Maximum Satisfiability: 《Tsinghua Science and Technology》2021年第1期1-8,共8页Huisi Zhou Dantong Ouyang Liming Zhang; supported by the National Natural Science Foundation of China(Nos.61672261 and 61872159)。; Static compaction methods aim at finding unnecessary test patterns to reduce the size of the test set as a post-process of test generation.Techniques based on partial maximum satisfiability are often used to track man...; 关键词：test compaction partial maximum satisfiability Automatic Test Pattern Generation(ATPG)

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

SATISFIABILITY

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

SATISFIABILITY

检索结果分析

下载全文

用户登录

高级检索检索式检索