Search results for: Xiao-Shan Gao
Journal of Automated Reasoning > 2000 > 25 > 3 > 219-246
Computer-Aided Design > 1999 > 31 > 14 > 867-879
Computer-Aided Design > 1998 > 30 > 2 > 115-122
Computer-Aided Design > 1998 > 30 > 1 > 47-54
Journal of Automated Reasoning > 2000 > 25 > 3 > 219-246
Computer-Aided Design > 1999 > 31 > 14 > 867-879
Computer-Aided Design > 1998 > 30 > 2 > 115-122
Computer-Aided Design > 1998 > 30 > 1 > 47-54