Zhijun Lin

2006
2		Zhijun Lin, Yuanlin Zhang, Hector Hernandez: Fast SAT-based Answer Set Solver. AAAI 2006
1	EE	Lin Wang Lin, Buyun Sheng, Zhijun Lin, Yufeng Ding: Research on Technology of Rough Set-Based Conflict Solution Case Reasoning in Collaborative Design. CSCWD 2006: 273-278

Coauthor Index

1	Yufeng Ding	[1]
2	Hector Hernandez	[2]
3	Lin Wang Lin	[1]
4	Buyun Sheng	[1]
5	Yuanlin Zhang	[2]

Colors in the list of coauthors