Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. CiteULike
  3. msakai

msakai

投稿一覧（最新100件）

502 0 0 0 OA 猫にはわかる量子プログラミング

[quantum]

18 0 0 0 OA SAT問題と他の制約問題との相互発展

[max-sat][optimization][pseudo-boolean][sat-solver][unsat-core]

4 0 0 0 OA A Fast Algorithm for Augmenting Edge-Connectivity by One with Bipartition Constraints

[no-tag]

6 0 0 0 OA FPGA向けの高位合成言語と処理系の研究動向

[fpga]