1. Yuanlin Zhang, Roland H. C. Yap. Solving Functional Constraints by Variable Elimination.
Theory and Practice of Logic Programming, accepted, 2010
2. Yuanlin Zhang, Satyanarayana Marisetti. Solving
connected row convex constraints by variable elimination. Artificial Intelligence 173 (12-13): 1204-1219, 2009
3. Yuanlin Zhang, Eugene C.
Freuder: Properties of tree convex constraints.
Artificial Intelligence 172(12-13):
1605-1612, 2008
4. Veena
5. Christophe Lecoutre,
Chavalit Likitvivatanavong, Scott G. Shannon, Roland H.C. Yap, and Yualin Zhang:
Maintaining Arc Consistency with Multiple Residues,
Constraint Programming Letters,
2:3--19, 2008.
6. Yuanlin Zhang and Roland
H. C. Yap. Set Intersection and Consistency
in Constraint Networks. Journal of
Artificial Intelligence Research, 27, 441-464, 2006
7. Christian Bessiere,
Jean-Charles Regin, Roland H.C. Yap and Yuanlin Zhang. An optimal
coarse-grained arc consistency algorithm. Artificial
Intelligence 165(2): 165-185, 2005. (top
25 hottest articles of Artificial Intelligence July – Sept.
2005)[1]
[PDF]
8. Yuanlin Zhang and Roland
Yap. Erratum: P. van Beek and R. Dechter’s Theorem on Constraint Looseness and
Local Consistency, Journal of the ACM, 50(3): 277-279, 2003 [PDF]
9. Gerardo De la O Serna, Timothy Matis, and Yuanlin Zhang.
A Model to Minimizing Trade-offs Between
FDT and On-land-operational Costs. In Proceedings
of the Industrial Engineering Research Conference,
10. Forrest Sheng Bao, Jue-Ming Gao, Jing Hu, Donald Y. C.
Lie, Yuanlin Zhang and K. J. Oommen. Automated
Epilepsy Diagnosis Using Interictal Scalp EEG, In Proceedings of the Annual
International Conference of the IEEE EMBS, 2009.
11. Yuanlin Zhang, Roland H. C. Yap, Chendong Li,
Satyanarayana Marisetti. Efficient Algorithms for
Functional Constraints. In Proceedings
of Logic Programming, 24th International Conference (ICLP-2008), pages 606-620,
2008.
12. Yuanlin Zhang, Roland H. C. Yap, Chendong Li,
Satyanarayana Marisetti: An Elimination Algorithm for
Functional Constraints. In Proceedings
of International Conference on Principles and Practice of Constraint Programming (CP-2008),
pages 545-549,
2008
13. Michael Gelfond, Veena S. Mellarkod, and Yuanlin Zhang.
Systems integrating answer set programming and constraint
programming. In Proceedings of 2nd
International Workshop on Logic and Search (LaSh), pages 145–152, 2008.
14. Veena
15. Forrest Sheng Bao, Donald
Yu-Chun Lie, Yuanlin Zhang. A New Approach to
Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network.
In Proceedings of IEEE International
Conference on Tools with Artificial Intelligence (ICTAI-2008), pages
482-486, 2008
16. Yuanlin Zhang. Fast
Algorithm for Connected Row Convex Constraints. In Proceedings of International
Joint Conference on Artificial Intelligence (IJCAI-2007), 137-142, 2007
17. Chavalit Likitvivatanavong, Yuanlin Zhang. James
Bowen, Eugene C. Freuder, Scott Shannon. Arc Consistency
during Search. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI-2007), 192-197, 2007
18. Zhijun Lin, Yuanlin
Zhang, and Hector Hernandez. Fast
SAT-based Answer Set Solver, In Proceedings
of AAAI-2006. [PDF]
19. Chavalit
Likitvivatanavong, Yuanlin Zhang, James Bowen, and Eugene C. Freuder.
Maintaining arc consistency using adaptive domain ordering, In Proceedings of IJCA-2005. [PDF]
20. Yuanlin Zhang and Eugene
C. Freuder. Tractable Tree Convex Constraint Networks. In Proceedings
of Nineteenth National Conference on Artificial Intelligence (AAAI-2004),
197-203.
21. Yuanlin Zhang. On
Tightness of Constraints. In Proceedings of Tenth International
Conference on Principles and Practice of Constraint Programming (CP-2004),
777-781,
22. 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]
23. 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]
24. Yuanlin Zhang and Eugene
C. Freuder. Conditional interchangeability and substitutability. In Proceedings of
Fourth International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon04),
25. Yuanlin Zhang and Roland
H.C. Yap. Set Intersection and Consistency in Constraint Networks, submitted.
2004. [PDF]
26. Yuanlin Zhang and Roland
Yap. Consistency and Set Intersection. In Proceedings of Eighteenth
International Joint Conference on Artificial Intelligence (IJCAI-03),
263-270.
27. Yuanlin Zhang and Roland
Yap. Consistency and Set Intersection, In Proceedings of Eighteenth
Confeence on Artificial Intelligence (AAAI-2002), 971-972.
28. Yuanlin Zhang and Roland
Yap. Incrementally Solving Functional Constraints, In Proceedings of
Eighteenth National Conference on Artificial Intelligence (AAAI-2002),
973-974.
29. 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.
30. 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.
31. 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.
32. 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.
33. Yuanlin Zhang.
Consistency Techniques in Constraint Networks. PhD Thesis, National
34. Yuanlin Zhang.
Consistency Techniques for Linear Arithmetic and Functional Constraints. Master Thesis, National