A Probabilistic 3-SAT Algorithm Further Improved

論文・著書情報

タイトル

和文:
英文:	A Probabilistic 3-SAT Algorithm Further Improved

著者

和文:	T. Hoffmaister, U. Schoening, R. Schuler, O. Watanabe.
英文:	T. Hoffmaister, U. Schoening, R. Schuler, O. Watanabe.

言語

English

掲載誌/書名

和文:
英文:	Proc. 19th Symposium on Theoretical Aspects of Computer Science (STACS'02)

巻, 号, ページ

Vol. LNCS 2285 pp. 193-202

出版年月

2002年

出版者

和文:
英文:	Proc. 19th Symposium on Theoretical Aspects of Computer Science (STACS'02)

会議名称

和文:
英文:

開催地

和文:
英文: