文献
J-GLOBAL ID:201502299332805023
整理番号:15A0255156
一般におけるppszホールドに対する3-SATのより速く,より簡単なユニークなSATの境界
3-SAT FASTER AND SIMPLER-UNIQUE-SAT BOUNDS FOR PPSZ HOLD IN GENERAL
-
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=15A0255156©=1") }}
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=15A0255156&from=J-GLOBAL&jstjournalNo=D0944A") }}