Wang, Yisong; Eiter, Thomas; Zhang, Yuanlin; Lin, Fangzhen Witnesses for answer sets of logic programs. (English) Zbl 07672674 ACM Trans. Comput. Log. 24, No. 2, Paper No. 15, 46 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{Y. Wang} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 15, 46 p. (2023; Zbl 07672674) Full Text: DOI
Bao, Forrest Sheng; Zhang, Yuanlin A review of tree convex sets test. (English) Zbl 1251.91034 Comput. Intell. 28, No. 3, 358-372 (2012). MSC: 91B26 05C90 90C35 PDFBibTeX XMLCite \textit{F. S. Bao} and \textit{Y. Zhang}, Comput. Intell. 28, No. 3, 358--372 (2012; Zbl 1251.91034) Full Text: DOI
Zhang, Yuanlin; Marisetti, Satyanarayana Solving connected row convex constraints by variable elimination. (English) Zbl 1194.68212 Artif. Intell. 173, No. 12-13, 1204-1219 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{S. Marisetti}, Artif. Intell. 173, No. 12--13, 1204--1219 (2009; Zbl 1194.68212) Full Text: DOI
Zhang, Yuanlin; Freuder, Eugene C. Properties of tree convex constraints. (English) Zbl 1183.90441 Artif. Intell. 172, No. 12-13, 1605-1612 (2008). MSC: 90C35 68T20 90C59 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{E. C. Freuder}, Artif. Intell. 172, No. 12--13, 1605--1612 (2008; Zbl 1183.90441) Full Text: DOI
Zhang, Yuanlin; Yap, Roland H. C.; Li, Chendong; Marisetti, Satyanarayana Efficient algorithms for functional constraints. (English) Zbl 1185.68659 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 606-620 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{Y. Zhang} et al., Lect. Notes Comput. Sci. 5366, 606--620 (2008; Zbl 1185.68659) Full Text: DOI
Bessière, Christian; Régin, Jean-Charles; Yap, Roland H. C.; Zhang, Yuanlin An optimal coarse-grained arc consistency algorithm. (English) Zbl 1132.68691 Artif. Intell. 165, No. 2, 165-185 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Bessière} et al., Artif. Intell. 165, No. 2, 165--185 (2005; Zbl 1132.68691) Full Text: DOI Link