[B! paper] Pockeのブックマーク

Pocke id:Pocke

paperに関するPockeのブックマーク (4)

NAGOYA Repository: 対話型埋込みによる数独問題の設計ツール
Pocke 2015/06/10
sudoku

paper
リンク
数独の難易度判定アプリケーションの提案と評価 | CiNii Research
JaLC IRDB Crossref DataCite NDL NDL-Digital RUDA JDCat NINJAL CiNii Articles CiNii Books CiNii Dissertations DBpedia Nikkei BP KAKEN Integbio MDR PubMed LSDB Archive 極地研ADS 極地研学術DB 公共データカタログムーンショット型研究開発事業
Pocke 2015/06/10
paper

sudoku

algorithm
リンク
数独の推論規則と難易度に関する考察 | CiNii Research
JaLC IRDB Crossref DataCite NDL NDL-Digital RUDA JDCat NINJAL CiNii Articles CiNii Books CiNii Dissertations DBpedia Nikkei BP KAKEN Integbio MDR PubMed LSDB Archive 極地研ADS 極地研学術DB 公共データカタログムーンショット型研究開発事業
Pocke 2015/06/10
algorithm

sudoku

paper
リンク
2010 年度修士論文自動チューニング並列 SAT ソルバの設計と実装提出日 : 2011 年 1 月 27 日指導 : 上田和紀教授早稲田大学大学院基幹理工学研究科情報理工学専攻学籍番号 : 5109B053-0 鈴�
Pocke 2015/03/15
[sat] [algorithm]

paper
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx