Yuanlin Zhang’s Publications

1. Zhijun Lin, Yuanlin Zhang, and Hector Hernandez. Fast SAT-based Answer Set Solver, In Proceedings of AAAI-2006. [PDF]
2. Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, and Eugene C. Freuder. Maintaining arc consistency using adaptive domain ordering, In Proceedings of IJCA-2005. [PDF]
3. 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]
4. Yuanlin Zhang and Eugene C. Freuder. Tractable Tree Convex Constraint Networks. In Proceedings of  Nineteenth National Conference on Artificial Intelligence (AAAI-2004), 197-203. San Jose, 2004. [PDF]
5. Yuanlin Zhang. On Tightness of Constraints. In Proceedings of  Tenth International Conference on Principles and Practice of Constraint Programming (CP-2004), 777-781, Toronto, 2004. [PDF] [Full version PDF]
6. 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]
7. 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]
8. 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]
9. Yuanlin Zhang and Roland H.C. Yap. Set Intersection and Consistency in Constraint Networks, submitted. 2004. [PDF]
10. Yuanlin Zhang. Consistency Techniques in Constraint Networks. PhD Thesis, National University of Singapore, Singapore, 2003. [PDF]
11. Yuanlin Zhang and Roland Yap. Consistency and Set Intersection. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03), 263-270. Acapulco, Mexico, 2003. [PDF]
12. 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, 277-279. [PDF]
13. Yuanlin Zhang and Roland Yap. Consistency and Set Intersection,  In Proceedings of Eighteenth Confeence on Artificial Intelligence (AAAI-2002), 971-972. Edmonton, 2002.  [PDF]
14. Yuanlin Zhang and Roland Yap. Incrementally Solving Functional Constraints, In Proceedings of Eighteenth National Conference on Artificial Intelligence (AAAI-2002), 973-974. Edmonton, 2002.  [PDF]
15. Yuanlin Zhang and Roland Yap. Making AC-3 an Optimal Algorithm,  In Proceedings of Seventeenth  International Joint Conference on Artificial Intelligence (IJCAI-2001), 316-321. Seattle, 2001. [PDF]
16. Yuanlin Zhang and Roland Yap. Arc Consistency on n-ary Monotonic and Linear Constraints.  In Proceedings of International Conference on Principles and Practice of Constraint Programming (CP-2000): 470-483. Singapore, 2000. [PDF]
17. Yuanlin Zhang, Roland Yap and Joxan Jaffar, Functional Elimination and 0/1/All Constraints. In Proceedings of Sixteenth National Conference on Artificial Intelligence (AAAI-1999), 175-180. Orlando, 1999. [PDF]
18. Yuanlin Zhang. Consistency Techniques for Linear Arithmetic and Functional Constraints. Master Thesis, National University of Singapore, Singapore, 1998. [PDF]
19. Yuanlin Zhang and Hui Wu. Bound Consistency on Linear Constraints in Finite Domain Constraint. In Proceedings of Thirteenth European Conference on Artificial Intelligence (ECAI-1998), 265-266. UK,1998. [PDF]