Average-case analysis for the MAX-2SAT problem

論文・著書情報

タイトル

和文:
英文:	Average-case analysis for the MAX-2SAT problem

著者

和文:	渡辺治, M. Yamamoto.
英文:	O. Watanabe, M. Yamamoto.

言語

English

掲載誌/書名

和文:
英文:	Lecture notes in computer science

巻, 号, ページ

Vol. 4121 pp. 277-282

出版年月

2006年

出版者

和文:
英文:	Springer

会議名称

和文:
英文:	Theory and applications of satisfiability testing - SAT 2006 : 9th international conference

開催地

和文:
英文:	Seattle, WA, USA