A parallel algorithm for satisfiability problem

A parallel algorithm for satisfiability problem

碩士 === 國立交通大學 === 資訊工程研究所 === 78 ===

Bibliographic Details
Main Authors: LI,QIAN-WU, 李謙吾
Other Authors: ZENG,XIAN-XIONG
Format: Others
Language:zh-TW
Published: 1990
Online Access:http://ndltd.ncl.edu.tw/handle/33008809664444510669
id ndltd-TW-078NCTU2392013
record_format oai_dc
spelling ndltd-TW-078NCTU23920132015-10-13T15:21:05Z http://ndltd.ncl.edu.tw/handle/33008809664444510669 A parallel algorithm for satisfiability problem 平行式子真偽值演算法 LI,QIAN-WU 李謙吾 碩士 國立交通大學 資訊工程研究所 78 ZENG,XIAN-XIONG 曾憲雄 1990 學位論文 ; thesis 71 zh-TW
collection NDLTD
language zh-TW
format Others
sources NDLTD
description 碩士 === 國立交通大學 === 資訊工程研究所 === 78 ===
author2 ZENG,XIAN-XIONG
author_facet ZENG,XIAN-XIONG
LI,QIAN-WU
李謙吾
author LI,QIAN-WU
李謙吾
spellingShingle LI,QIAN-WU
李謙吾
A parallel algorithm for satisfiability problem
author_sort LI,QIAN-WU
title A parallel algorithm for satisfiability problem
title_short A parallel algorithm for satisfiability problem
title_full A parallel algorithm for satisfiability problem
title_fullStr A parallel algorithm for satisfiability problem
title_full_unstemmed A parallel algorithm for satisfiability problem
title_sort parallel algorithm for satisfiability problem
publishDate 1990
url http://ndltd.ncl.edu.tw/handle/33008809664444510669
work_keys_str_mv AT liqianwu aparallelalgorithmforsatisfiabilityproblem
AT lǐqiānwú aparallelalgorithmforsatisfiabilityproblem
AT liqianwu píngxíngshìzizhēnwěizhíyǎnsuànfǎ
AT lǐqiānwú píngxíngshìzizhēnwěizhíyǎnsuànfǎ
AT liqianwu parallelalgorithmforsatisfiabilityproblem
AT lǐqiānwú parallelalgorithmforsatisfiabilityproblem
_version_ 1717764206409809920

Similar Items