-
[文献書誌] M.Halldorsson, R.Irving, K.Iwama, D.Manlove, S.Miyazaki, Morita, Scott: "Approximability Results for Stable Marriage Problems with Ties"Theoretical Computer Science. 306/1-3. 431-447 (2003)
-
[文献書誌] Y.Hanatani, T.Horiyama, K.lwama: "Condensation of Boolean Formulas"Proc.DIMACS Workshop on Complexity and Inference. 126-133 (2003)
-
[文献書誌] H.Ito, K.Iwama, Y.Okabe, T.Yoshihiro: "Polynomial time computable backup tables for shortest path routing"Proc.the 10th International Colloquium on Structural Information and Communication Complexity. 17. 163-177 (2003)
-
[文献書誌] K.Iwama, S.Tamaki: "Improved Upper Bounds for 3-SAT"Proc.15th Annual ACM-SIAM Symposium on Discrete Algorithms. 321-322 (2004)
-
[文献書誌] A.Uejina, H.Ito, T.Tsukiji: "C_7-Coloring Problem"IEICE Transactions on Fundamentals. (掲載予定). (2004)
-
[文献書誌] M.Halldorsson, K.Iwama, S.Miyazaki, H.Yanagisawa: "Improved Approximation of the Stable Marriage Problem"Proc.the 11th Annual European Symposium on Algorithms/LNCS. 2832. 266-277 (2003)
-
[文献書誌] 岩間一雄: "オートマトン・言語と計算理論(電子情報通信レクチャーシリーズ B-6)"コロナ社. 172 (2003)