版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
SOLVING THE SATISFIABILITY PROBLEM BY USING RANDOMIZED APPROACH
作者机构：NATL TSING HUA UNIVINST COMP SCIHSINCHU 30043TAIWAN
出 版 物：《INFORMATION PROCESSING LETTERS》 (信息处理快报)
年 卷 期：1992年第41卷第4期
页 面：187-190页
核心收录：
学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：ANALYSIS OF ALGORITHMS DESIGN OF ALGORITHMS RANDOMIZED ALGORITHMS SATISFIABILITY PROBLEM
摘 要：In this paper we propose a randomized algorithm which can solve the satisfiability problem with the probability of failure not exceeding epsilon in polynomial average time.
