ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 会誌「情報処理」
  2. Vol.57(2016)
  3. No.8

SAT技術の進化と応用 〜パズルからプログラム検証まで〜:2.SATとパズル -問題をいかにSATソルバーで解くか-

https://ipsj.ixsq.nii.ac.jp/records/169443
https://ipsj.ixsq.nii.ac.jp/records/169443
df66b3c8-244f-4471-b227-88c5bced93ce
名前 / ファイル ライセンス アクション
IPSJ-MGN570806.pdf IPSJ-MGN570806.pdf (1.5 MB)
Copyright (c) 2016 by the Information Processing Society of Japan
オープンアクセス
Item type Magazine(1)
公開日 2016-07-15
タイトル
タイトル SAT技術の進化と応用 〜パズルからプログラム検証まで〜:2.SATとパズル -問題をいかにSATソルバーで解くか-
タイトル
言語 en
タイトル SAT Evolution and Applications:2. Satisfiability and Puzzles - How to Solve Problems with a SAT Solver -
言語
言語 jpn
キーワード
主題Scheme Other
主題 特集
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ article
著者所属
神戸大学
著者所属
神戸大学
著者所属
神戸大学
著者所属(英)
en
Kobe Univ.
著者所属(英)
en
Kobe Univ.
著者所属(英)
en
Kobe Univ.
著者名 田村, 直之

× 田村, 直之

田村, 直之

Search repository
宋, 剛秀

× 宋, 剛秀

宋, 剛秀

Search repository
番原, 睦則

× 番原, 睦則

番原, 睦則

Search repository
著者名(英) TAMURA, Naoyuki

× TAMURA, Naoyuki

en TAMURA, Naoyuki

Search repository
SOH, Takehide

× SOH, Takehide

en SOH, Takehide

Search repository
BANBARA, Mutsunori

× BANBARA, Mutsunori

en BANBARA, Mutsunori

Search repository
論文抄録
内容記述タイプ Other
内容記述 数独やナンバーリンクなどのパズルを題材として取り上げ,SATソルバーを用いてこれらのパズルを解く方法について説明する.SATソルバーは,与えられた連言標準形の命題論理式(CNF式)を満たす解を探索するプログラムである.近年になって大幅な性能向上が実現され,最新のSATソルバーは百万個の変数を含む問題でも取り扱えるようになっている.このことを背景とし,さまざまな問題をCNF式に変換(符号化) しSAT ソルバーで解を求める手法が注目を集めている.本稿では,パズルを題材とすることで,この手法について分かりやすく解説する.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00116625
書誌情報 情報処理

巻 57, 号 8, p. 710-715, 発行日 2016-07-15
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 08:59:50.975367
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3