A hardware SAT solver with efficient BCP

A hardware SAT solver with efficient BCP

碩士 === 國立成功大學 === 電機工程學系 === 107

Bibliographic Details
Main Authors: Chin-WeiLien, 連晉瑋
Other Authors: Yean-Ru Chen
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

Similar Items