Shen, Haiou; Zhang, Hantao Improving exact algorithms for MAX-2-SAT. (English) Zbl 1086.68058 Ann. Math. Artif. Intell. 44, No. 4, 419-436 (2005). MSC: 68Q25 68T20 68R10 PDFBibTeX XMLCite \textit{H. Shen} and \textit{H. Zhang}, Ann. Math. Artif. Intell. 44, No. 4, 419--436 (2005; Zbl 1086.68058) Full Text: DOI
Zhang, Hantao; Hua, Gary Xin Proving Ramsey’s theory by the cover set induction: A case and comparision study. (English) Zbl 1034.68545 Ann. Math. Artif. Intell. 8, No. 3-4, 383-405 (1993). MSC: 68T15 05C55 PDFBibTeX XMLCite \textit{H. Zhang} and \textit{G. X. Hua}, Ann. Math. Artif. Intell. 8, No. 3--4, 383--405 (1993; Zbl 1034.68545) Full Text: DOI