Polash, Md Masbaul Alam; Newton, M. A. Hakim; Sattar, Abdul Constraint-directed search for all-interval series. (English) Zbl 1387.90225 Constraints 22, No. 3, 403-431 (2017). MSC: 90C27 PDF BibTeX XML Cite \textit{M. M. A. Polash} et al., Constraints 22, No. 3, 403--431 (2017; Zbl 1387.90225) Full Text: DOI
Drescher, Christian; Walsh, Toby Answer set solving with lazy nogood generation. (English) Zbl 1281.68178 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 188-200, electronic only (2012). MSC: 68T05 68T15 68T27 68N17 PDF BibTeX XML Cite \textit{C. Drescher} and \textit{T. Walsh}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 188--200 (2012; Zbl 1281.68178) Full Text: DOI