Research Interests

  • Constraint based reasoning and Constraint Programming
  • Data conversion (in information retrieval).

 

Teaching

  Intorduction to Artificial Intelligence (cs3368) Fall 2005, Fall 2004    

Publications

Zhijun Lin, Yuanlin Zhang, and Hector Hernandez. Fast SAT-based Answer Set Solver, In Proceedings of AAAI-2006. [PDF]

Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, and Eugene C. Freuder. Maintaining arc consistency using adaptive domain ordering, In Proceedings of IJCA-2005. [PDF]

Christian Bessiere, Jean-Charles Regin, Roland H.C. Yap and Yuanlin Zhang. An optimal coarse-grained arc consistency algorithm. Artificial Intelligence Journal 165(2): 165-185, 2005, [PDF]

Yuanlin Zhang and Eugene C. Freuder. Tractable Tree Convex Constraint Networks. In Proceedings of  Nineteenth National Conference on Artificial Intelligence (AAAI-2004), San Jose, 2004. [PDF]

Yuanlin Zhang. On Tightness of Constraints. In Proceedings of  Tenth International Conference on Principles and Practice of Constraint Programming (CP-2004), Toronto, 2004. [PDF] [Full version PDF]

Eugene C. Freuder and Yuanlin Zhang. The Optimistic Principle and Optimistic Pruning: A Preliminary Report. In Proceedings of the first International Workshop on Constraint Propagation and  Implementation (in conjunction with CP-2004), 2004. [PDF]

Chavalit Likitvivatanavong, Yuanlin Zhang. James Bowen, and Eugene C. Freuder : Arc Consistency in MAC: A New Perspective, In Proceedings of the first International Workshop on Constraint Propagation and  Implementation (in conjunction with CP-2004), 2004. [PDF]

Yuanlin Zhang and Eugene C. Freuder. Conditional interchangeability and substitutability. In Proceedings of Fourth International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon04), Toronto, 2004. [PDF]

Yuanlin Zhang and Roland H.C. Yap. Set Intersection and Consistency in Constraint Networks, submitted. 2004. [PDF]

Yuanlin Zhang and Roland Yap. Consistency and Set Intersection. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03),  Acapulco, Mexico, 2003. [PDF]

Yuanlin Zhang and Roland Yap. Erratum: P. van Beek and R. Dechter’s Theorem on Constraint Looseness and Local Consistency. Journal of the ACM, vol. 50, num 3, 2003, pp 277-279. [PDF]

More ……  

Bio

Yuanlin Zhang studied Computer Science and Engineering in East-China Institute of Technology and Mathematics in Nanjing University, Nanjing, China. He obtained his doctoral degree in Computer Science from National University of Singapore. His PhD work is on the understanding of efficient constraint solving in the context of Constraint Programming and contributes to the design of efficient and elegant algorithms for constraint propagation and for solving constraint satisfaction problems with special properties.

Yuanlin worked as a Teaching Assistant in National University of Singapore for five years. He was a research staff at Cork Constraint Computation Center in University College Cork, Cork, Ireland, before he joined Computer Science Department of Texas Tech University, Lubbock, Texas.

More information can be found in his CV.