A hardware SAT solver with efficient BCP
碩士 === 國立成功大學 === 電機工程學系 === 107
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
2019
|
Online Access: | http://ndltd.ncl.edu.tw/handle/d7848v |
id |
ndltd-TW-107NCKU5442047 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-TW-107NCKU54420472019-10-26T06:24:10Z http://ndltd.ncl.edu.tw/handle/d7848v A hardware SAT solver with efficient BCP 具高效能布林約束傳遞之硬體SAT解算器 Chin-WeiLien 連晉瑋 碩士 國立成功大學 電機工程學系 107 Yean-Ru Chen 陳盈如 2019 學位論文 ; thesis 72 en_US |
collection |
NDLTD |
language |
en_US |
format |
Others
|
sources |
NDLTD |
description |
碩士 === 國立成功大學 === 電機工程學系 === 107 |
author2 |
Yean-Ru Chen |
author_facet |
Yean-Ru Chen Chin-WeiLien 連晉瑋 |
author |
Chin-WeiLien 連晉瑋 |
spellingShingle |
Chin-WeiLien 連晉瑋 A hardware SAT solver with efficient BCP |
author_sort |
Chin-WeiLien |
title |
A hardware SAT solver with efficient BCP |
title_short |
A hardware SAT solver with efficient BCP |
title_full |
A hardware SAT solver with efficient BCP |
title_fullStr |
A hardware SAT solver with efficient BCP |
title_full_unstemmed |
A hardware SAT solver with efficient BCP |
title_sort |
hardware sat solver with efficient bcp |
publishDate |
2019 |
url |
http://ndltd.ncl.edu.tw/handle/d7848v |
work_keys_str_mv |
AT chinweilien ahardwaresatsolverwithefficientbcp AT liánjìnwěi ahardwaresatsolverwithefficientbcp AT chinweilien jùgāoxiàonéngbùlínyuēshùchuándìzhīyìngtǐsatjiěsuànqì AT liánjìnwěi jùgāoxiàonéngbùlínyuēshùchuándìzhīyìngtǐsatjiěsuànqì AT chinweilien hardwaresatsolverwithefficientbcp AT liánjìnwěi hardwaresatsolverwithefficientbcp |
_version_ |
1719278554341965824 |