文献
J-GLOBAL ID:200902100906032607
整理番号:96A0949237
β節充足可能性問題の計算複雑性に関する考察
Consideration on calculation complexity of .BETA. node satisfiability problem.
-
出版者サイト
複写サービスで全文入手
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=96A0949237&from=J-GLOBAL&jstjournalNo=L1739A") }}