Takehide Soh

	2006
2		Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma: Lemma Reusing for SAT based Planning and Scheduling. ICAPS 2006: 103-113
1		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)

Coauthor Index

1	Mutsunori Banbara	[1]
2	Katsumi Inoue	[1] [2]
3	Koji Iwanuma	[2]
4	Hidetomo Nabeshima	[2]
5	Yoshito Sasaura	[1]
6	Naoyuki Tamura	[1]
7	Seiji Ueda	[1]