2016年
An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
- ,
- 巻
- 99-A
- 号
- 6
- 開始ページ
- 1019
- 終了ページ
- 1024
- 記述言語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1587/transfun.E99.A.1019
- リンク情報
-
- DOI
- https://doi.org/10.1587/transfun.E99.A.1019
- DBLP
- https://dblp.uni-trier.de/rec/journals/ieicet/SetoT16
- J-GLOBAL
- https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201602219716013257
- URL
- http://search.ieice.org/bin/summary.php?id=e99-a_6_1019
- URL
- https://dblp.uni-trier.de/db/journals/ieicet/ieicet99a.html#SetoT16
- ID情報
-
- DOI : 10.1587/transfun.E99.A.1019
- ISSN : 0916-8508
- ISSN : 1745-1337
- DBLP ID : journals/ieicet/SetoT16
- J-Global ID : 201602219716013257