Maratea, Marco; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. (English) Zbl 1162.68668 J. Algorithms 63, No. 1-3, 70-89 (2008). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Maratea} et al., J. Algorithms 63, No. 1--3, 70--89 (2008; Zbl 1162.68668) Full Text: DOI
Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco Experimenting with look-back heuristics for hard ASP programs. (English) Zbl 1149.68330 Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15–17, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72199-4/pbk). Lecture Notes in Computer Science 4483. Lecture Notes in Artificial Intelligence, 110-122 (2007). MSC: 68N17 68T15 68T20 PDFBibTeX XMLCite \textit{W. Faber} et al., Lect. Notes Comput. Sci. 4483, 110--122 (2007; Zbl 1149.68330) Full Text: DOI
Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco Answer set programming based on propositional satisfiability. (English) Zbl 1107.68029 J. Autom. Reasoning 36, No. 4, 345-377 (2006). MSC: 68N17 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., J. Autom. Reasoning 36, No. 4, 345--377 (2006; Zbl 1107.68029) Full Text: DOI