Lierler, Yuliya; Susman, Benjamin On relation between constraint answer set programming and satisfiability modulo theories. (English) Zbl 1379.68285 Theory Pract. Log. Program. 17, No. 4, 559-590 (2017). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{Y. Lierler} and \textit{B. Susman}, Theory Pract. Log. Program. 17, No. 4, 559--590 (2017; Zbl 1379.68285) Full Text: DOI arXiv
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo SUNNY: a lazy portfolio approach for constraint solving. (English) Zbl 1307.68077 Theory Pract. Log. Program. 14, No. 4-5, 509-524 (2014). MSC: 68T20 68N17 68T05 PDFBibTeX XMLCite \textit{R. Amadini} et al., Theory Pract. Log. Program. 14, No. 4--5, 509--524 (2014; Zbl 1307.68077) Full Text: DOI arXiv
Saad, Aya; Frühwirth, Thom; Gervet, Carmen The p-box cdf-intervals: a reliable constraint reasoning with quantifiable information. (English) Zbl 1307.68021 Theory Pract. Log. Program. 14, No. 4-5, 461-475 (2014). MSC: 68N17 68T20 68T37 PDFBibTeX XMLCite \textit{A. Saad} et al., Theory Pract. Log. Program. 14, No. 4--5, 461--475 (2014; Zbl 1307.68021) Full Text: DOI arXiv
Zhang, Yuanlin; Yap, Roland H. C. Solving functional constraints by variable substitution. (English) Zbl 1220.68041 Theory Pract. Log. Program. 11, No. 2-3, 297-322 (2011). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{R. H. C. Yap}, Theory Pract. Log. Program. 11, No. 2--3, 297--322 (2011; Zbl 1220.68041) Full Text: DOI
Wolf, Armin Intelligent search strategies based on adaptive constraint handling rules. (English) Zbl 1105.68429 Theory Pract. Log. Program. 5, No. 4-5, 567-594 (2005). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{A. Wolf}, Theory Pract. Log. Program. 5, No. 4--5, 567--594 (2005; Zbl 1105.68429) Full Text: DOI