Average case analysis for solving the satisfiability problem base upon the resolution principle

Average case analysis for solving the satisfiability problem base upon the resolution principle

碩士 === 淡江大學 === 資訊科學研究所 === 75 ===

Bibliographic Details
Main Authors:	HU, DA-XIONG, 胡大雄
Other Authors:	LI, JIA-TONG
Format:	Others
Language:	zh-TW
Published:	1987
Online Access:	http://ndltd.ncl.edu.tw/handle/21943727747172421413

Description
Summary:	碩士 === 淡江大學 === 資訊科學研究所 === 75 ===