2012年6月
A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis
The 27th IEEE Conference on Computational Complexity (CCC)
- ,
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1109/ccc.2012.29
- 出版者・発行元
- IEEE
- リンク情報
-
- DOI
- https://doi.org/10.1109/ccc.2012.29
- DBLP
- https://dblp.uni-trier.de/rec/conf/coco/SetoT12
- J-GLOBAL
- https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201502832842367748
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000308976600011&DestApp=WOS_CPL
- URL
- http://xplorestaging.ieee.org/ielx5/6242817/6243364/06243386.pdf?arnumber=6243386
- ID情報
-
- DOI : 10.1109/ccc.2012.29
- ISSN : 1093-0159
- DBLP ID : conf/coco/SetoT12
- J-Global ID : 201502832842367748
- Web of Science ID : WOS:000308976600011