@book{CTT100721922,
  author = {渡辺 治},
  title = {今度こそわかるＰ≠ＮＰ予想},
  publisher = {講談社サイエンティフィク},
  year = 2014,
}

@inproceedings{CTT100720225,
  author = {O. Watanabe},
  title = {On the limit of some algorithmic approach to circuit lower bounds},
  booktitle = {LNCS},
  year = 2014,
}

@inproceedings{CTT100720221,
  author = {O. Watanabe},
  title = {The Strong Exponential Time Hypothesis and the structure of the solution space of CNF-SAT problems},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100721905,
  author = {D. Kane and O. Watanabe},
  title = {Implicant size of a CNF formula with many satisfying assignments},
  booktitle = {信学技報 COMP2014-31},
  year = 2014,
}

@inproceedings{CTT100720222,
  author = {渡辺 治},
  title = {計算限界への挑戦：Ｐ＝ＮＰの世界を目指して},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100704715,
  author = {ケイン ダニエル and 渡辺 治},
  title = {多くの充足解を持つ和積形論理式のインプリカントの大きさについて},
  booktitle = {電子情報通信学会技術研究報告. COMP, コンピュテーション},
  year = 2014,
}

@inproceedings{CTT100704716,
  author = {渡辺 治},
  title = {スーパーコン : 高校生・高専生の電脳甲子園(<特集>若い力:高校生の問題解決)},
  booktitle = {オペレーションズ・リサーチ : 経営の科学},
  year = 2014,
}

@inproceedings{CTT100720219,
  author = {O. Watanabe},
  title = {Max k-linear equation problem},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100720218,
  author = {渡辺 治},
  title = {環境適用型アルゴリズム},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100720223,
  author = {渡辺 治},
  title = {「多面的アプローチの統合による計算限界の解明」について},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100717794,
  author = {Tetsuo Asano and David Kirkpatrick and Kotaro Nakagawa and Osamu Watanabe},
  title = {O(sqrt(n))-space and polynomial-time algorithm for planar directed graph reachability},
  booktitle = {Lecture Notes in Computer Science},
  year = 2014,
}

@inproceedings{CTT100717799,
  author = {Akinori Kawachi and Benjamin Rossman and Osamu Watanabe},
  title = {The query complexity of witness finding},
  booktitle = {Lecture Notes in Computer Science},
  year = 2014,
}

@inproceedings{CTT100717795,
  author = {Daniel M. Kane and Osamu Watanabe},
  title = {A short implicant of a CNF formula with many satisfying assignments},
  booktitle = {Lecture Notes in Computer Science},
  year = 2014,
}

@misc{CTT100721909,
  author = {渡辺 治 and 遠藤 敏夫},
  title = {スーパーコンピューティングコンテスト・2013},
  year = 2014,
}