Naoyuki Tamura

	2011
29		Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara: A Compact and Efficient SAT-Encoding of Finite Domain CSP. SAT 2011: 375-376
	2010
28		Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara: Solving Constraint Satisfaction Problems with SAT Technology. FLOPS 2010: 19-23
27		Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue: Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) 2010: 112-126
26		Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima: A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Inform. 102(3-4): 467-487 (2010)
	2009
25		Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara: Compiling finite linear CSP into SAT. Constraints 14(2): 254-272 (2009)
	2007
24		Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie: Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. J. Mobile Multimedia 3(3): 265-282 (2007)
	2006
23		Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara: Compiling Finite Linear CSP into SAT. CP 2006: 590-603
22		Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie: Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. MoMM 2006: 169-178
21		Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura: A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics 154(16): 2291-2306 (2006)
	2005
20		Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue: Prolog Cafe : A Prolog to Java Translator System. INAP 2005: 1-11
19		Naoyuki Tamura: Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. INAP 2005: 81-87
	2003
18		Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura: Efficient Represenation of Discrete Sets for Constraint Programming. CP 2003: 920-924
	2001
17		Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura: Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP 2001: 315-330
16		Joshua S. Hodas, Naoyuki Tamura: lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. IJCAR 2001: 670-684
	1999
15		Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis for Classical Linear Logic Programming Language. ICLP 1999: 610
14		Mutsunori Banbara, Naoyuki Tamura: Translating a Linear Logic Programming Language into Java. Electr. Notes Theor. Comput. Sci. 30(3): 20-45 (1999)
13		Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis Method for a Classical Linear Logic Programming Language. Electr. Notes Theor. Comput. Sci. 30(3): 3-19 (1999)
	1998
12		Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang: Efficient Implementation of a Linear Logic Programming Language. IJCSLP 1998: 145-159
11		Mutsunori Banbara, Naoyuki Tamura: Compiling Resources in a Linear Logic Programming Language. Implementation Technology for Programming Languages based on Logic 1998: 32-45
	1996
10		Naoyuki Tamura, Yukio Kaneda: Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). JICSLP 1996: 545
	1991
9		Naoyuki Tamura, Marco J. W. Bos, H. Murakami, Osamu Nishida, Takehiko Yoshimi, Jiri Jelinek: Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking. Natural Language Understanding and Logic Programming Workshop 1991: 13-26
	1990
8		Jiri Jelinek, Graham Wilcock, Osamu Nishida, Takehiko Yoshimi, Marco J. W. Bos, Naoyuki Tamura, H. Murakami: Japanese-to-English Project PROTRAN & TWINTRAN. COLING 1990: 50-52
	1987
7		Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu: Introduction of a Package System into Prolog. LP 1987: 105-112
	1986
6		Naoyuki Tamura: Knowledge-Based Optimization in Prolog Compiler. FJCC 1986: 237-240
5		Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu: A Very Fast Prolog Complier on Multiple Architectures. FJCC 1986: 963-968
4		Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa: An Optimizing Prolog Compiler. LP 1986: 104-115
3		Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa: Sequential Prolog Machine PEK. New Generation Comput. 4(1): 51-66 (1986)
	1984
2		Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa: Sequential Prolog Machine PEK. FGCS 1984: 542-550
1		Naoyuki Tamura, Yukio Kaneda: Implementing Parallel Prolog on a Multiprocessor Machine. SLP 1984: 42-48

Coauthor Index

1	Yasuo Asakawa	[4] [5] [7]
2	Mutsunori Banbara	[11] [14] [17] [20] [21] [23] [25] [26] [27] [28] [29]
3	Marco J. W. Bos	[8] [9]
4	Hiroaki Etoh	[7]
5	Toshihiko Furue	[22] [24]
6	Toshiyuki Hama	[7]
7	Takaharu Hirai	[17]
8	Joshua S. Hodas	[12] [16]
9	Katsumi Inoue	[20] [21] [26] [27]
10	Jiri Jelinek	[8] [9]
11	Yukio Kaneda	[1] [2] [3] [10]
12	Kyoung-Sun Kang	[12] [13] [15] [17]
13	Satoshi Kitagawa	[23] [25]
14	Hideaki Komatsu	[4] [5] [7]
15	Shumin Kuo	[3]
16	Toshiaki Kurokawa	[4] [5]
17	Sadao Maekawa	[2] [3]
18	Hideo Matsuda	[2] [3]
19	Haruki Matsunaka	[27]
20	H. Murakami	[8] [9]
21	Hidetomo Nabeshima	[26]
22	Osamu Nishida	[8] [9]
23	Shuji Ohnishi	[18]
24	Yoshito Sasaura	[21]
25	Takehide Soh	[21] [26]
26	Akiko Taga	[23] [25]
27	Hiroki Takahashi	[22] [24]
28	Tomoya Tanjo	[28] [29]
29	Hiroaki Tasaka	[18]
30	Seiji Ueda	[21]
31	Koichi Wada	[2] [3]
32	K. M. Watkins	[12]
33	Graham Wilcock	[8]
34	Osamu Yoshie	[22] [24]
35	Takehiko Yoshimi	[8] [9]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page