Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. はてなブックマーク
  3. Pocke

id:Pocke

投稿一覧（最新100件）

1 0 0 0 OA 対話型埋込みによる数独問題の設計ツール

[sudoku][paper]

10 0 0 0 数独の難易度判定アプリケーションの提案と評価

[paper][sudoku][algorithm]

10 0 0 0 数独の難易度判定アプリケーションの提案と評価

[paper][sudoku][algorithm]

7 0 0 0 数独の推論規則と難易度に関する考察

[algorithm][sudoku][paper]

7 0 0 0 数独の推論規則と難易度に関する考察

[algorithm][sudoku][paper]

12 0 0 0 OA SATソルバ・SMTソルバの技術と応用

[SAT]

1 0 0 0 OA 自動チューニング並列SATソルバの設計と実装

[paper] [sat] [algorithm]