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

id	ndltd-TW-075TKU02394007
record_format	oai_dc
spelling	ndltd-TW-075TKU023940072015-10-13T17:40:25Z http://ndltd.ncl.edu.tw/handle/21943727747172421413 Average case analysis for solving the satisfiability problem base upon the resolution principle 自動定理證明方法之研究 HU, DA-XIONG 胡大雄碩士淡江大學資訊科學研究所 75 LI, JIA-TONG 李家同 1987 學位論文 ; thesis 0 zh-TW
collection	NDLTD
language	zh-TW
format	Others
sources	NDLTD
description	碩士 === 淡江大學 === 資訊科學研究所 === 75 ===
author2	LI, JIA-TONG
author_facet	LI, JIA-TONG HU, DA-XIONG 胡大雄
author	HU, DA-XIONG 胡大雄
spellingShingle	HU, DA-XIONG 胡大雄 Average case analysis for solving the satisfiability problem base upon the resolution principle
author_sort	HU, DA-XIONG
title	Average case analysis for solving the satisfiability problem base upon the resolution principle
title_short	Average case analysis for solving the satisfiability problem base upon the resolution principle
title_full	Average case analysis for solving the satisfiability problem base upon the resolution principle
title_fullStr	Average case analysis for solving the satisfiability problem base upon the resolution principle
title_full_unstemmed	Average case analysis for solving the satisfiability problem base upon the resolution principle
title_sort	average case analysis for solving the satisfiability problem base upon the resolution principle
publishDate	1987
url	http://ndltd.ncl.edu.tw/handle/21943727747172421413
work_keys_str_mv	AT hudaxiong averagecaseanalysisforsolvingthesatisfiabilityproblembaseupontheresolutionprinciple AT húdàxióng averagecaseanalysisforsolvingthesatisfiabilityproblembaseupontheresolutionprinciple AT hudaxiong zìdòngdìnglǐzhèngmíngfāngfǎzhīyánjiū AT húdàxióng zìdòngdìnglǐzhèngmíngfāngfǎzhīyánjiū
_version_	1717783794467995648

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

Similar Items