WEKO3
アイテム
{"_buckets": {"deposit": "8d44de8e-5355-46f6-b324-75dce1849e86"}, "_deposit": {"created_by": 4, "id": "6959", "owners": [4], "pid": {"revision_id": 0, "type": "depid", "value": "6959"}, "status": "published"}, "_oai": {"id": "oai:naist.repo.nii.ac.jp:00006959", "sets": ["37"]}, "author_link": ["17968"], "item_15_alternative_title_1": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ", "subitem_alternative_title_language": "ja"}, {"subitem_alternative_title": "Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ", "subitem_alternative_title_language": "ja-Kana"}]}, "item_15_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-03-23", "bibliographicIssueDateType": "Issued"}}]}, "item_15_date_granted_16": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2007-03-23"}]}, "item_15_degree_grantor_15": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "奈良先端科学技術大学院大学"}]}]}, "item_15_degree_name_14": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "修士(工学)", "subitem_degreename_language": "ja"}]}, "item_15_dissertation_number_17": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "修第3591号"}]}, "item_15_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Nara Institute of Science and Technology", "subitem_publisher_language": "en"}]}, "item_15_text_19": {"attribute_name": "電子化ID", "attribute_value_mlt": [{"subitem_text_value": "R005257"}]}, "item_15_version_type_11": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Hiramoto, Shinya", "creatorNameLang": "en"}, {"creatorName": "ヒラモト, シンヤ", "creatorNameLang": "ja-Kana"}, {"creatorName": "平本, 新哉", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "17968", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2023-03-03"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "R005257.pdf", "filesize": [{"value": "826.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 826600.0, "url": {"label": "fulltext", "objectType": "fulltext", "url": "https://naist.repo.nii.ac.jp/record/6959/files/R005257.pdf"}, "version_id": "ec5cb27a-b38e-4388-8de3-3d322f3a6af2"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "SAT", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "reconfigurable computing", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "hardware implementation", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "non-chronological backtracking", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "clause recording", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "master thesis", "resourceuri": "http://purl.org/coar/resource_type/c_bdcc"}]}, "item_title": "A novel hardware SAT solver using non-chronological backtracking and clause recording", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "A novel hardware SAT solver using non-chronological backtracking and clause recording", "subitem_title_language": "en"}]}, "item_type_id": "15", "owner": "4", "path": ["37"], "permalink_uri": "http://hdl.handle.net/10061/4298", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2008-01-23"}, "publish_date": "2008-01-23", "publish_status": "0", "recid": "6959", "relation": {}, "relation_version_is_last": true, "title": ["A novel hardware SAT solver using non-chronological backtracking and clause recording"], "weko_shared_id": -1}
A novel hardware SAT solver using non-chronological backtracking and clause recording
http://hdl.handle.net/10061/4298
http://hdl.handle.net/10061/4298dd86cd19-704c-404f-8a12-66438ae64b75
名前 / ファイル | ライセンス | アクション |
---|---|---|
fulltext (826.6 kB)
|
|
Item type | 学位論文(修士論文) / Thesis or Dissertation_0(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-01-23 | |||||
タイトル | ||||||
タイトル | A novel hardware SAT solver using non-chronological backtracking and clause recording | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | SAT | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | reconfigurable computing | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | hardware implementation | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | non-chronological backtracking | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | clause recording | |||||
資源タイプ | ||||||
資源タイプ | master thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
その他のタイトル | ||||||
その他のタイトル | Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ | |||||
その他のタイトル | ||||||
その他のタイトル | Non-chronological バック トラッキング オヨビ clause レコーディング オ モチイル ハードウェア SAT ソルバ | |||||
著者 |
平本, 新哉
× 平本, 新哉 |
|||||
書誌情報 |
発行日 2007-03-23 |
|||||
出版者 | ||||||
出版者 | Nara Institute of Science and Technology | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
学位名 | ||||||
学位名 | 修士(工学) | |||||
学位授与機関 | ||||||
学位授与機関名 | 奈良先端科学技術大学院大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2007-03-23 | |||||
学位授与番号 | ||||||
学位授与番号 | 修第3591号 | |||||
電子化ID |