2017年
Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs.
28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand
- ,
- ,
- 開始ページ
- 58
- 終了ページ
- 10
- 記述言語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.4230/LIPIcs.ISAAC.2017.58
- 出版者・発行元
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- リンク情報
- ID情報
-
- DOI : 10.4230/LIPIcs.ISAAC.2017.58
- DBLP ID : conf/isaac/NagaoST17