|
渡辺治 2016年 研究業績一覧 (6件 / 263件)
論文
-
Akinori Kawachi,
Benjamin Rossman,
Osamu Watanabe.
The Query Complexity of Witness Finding,
Theory of Computing Systems,
Vol. 61,
No. 2,
pp. 305–321,
Sept. 2016.
-
Daniel Kane,
Osamu Watanabe.
A short implicant of a CNF formula with many satisfying assignments,
Algorithmica,
Springer US,
76,
4,
pp. 1203-1223,
Feb. 2016.
国際会議発表 (査読有り)
国際会議発表 (査読なし・不明)
国内会議発表 (査読なし・不明)
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|