Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco ASP and subset minimality: enumeration, cautious reasoning and MUSes. (English) Zbl 07702961 Artif. Intell. 320, Article ID 103931, 25 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Alviano} et al., Artif. Intell. 320, Article ID 103931, 25 p. (2023; Zbl 07702961) Full Text: DOI
Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco Enumeration of minimal models and MUSes in WASP. (English) Zbl 07671876 Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 29-42 (2022). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{M. Alviano} et al., Lect. Notes Comput. Sci. 13416, 29--42 (2022; Zbl 07671876) Full Text: DOI
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro Cautious reasoning in ASP via minimal models and unsatisfiable cores. (English) Zbl 1451.68267 Theory Pract. Log. Program. 18, No. 3-4, 319-336 (2018). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 18, No. 3--4, 319--336 (2018; Zbl 1451.68267) Full Text: DOI arXiv
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao MCS extraction with sublinear oracle queries. (English) Zbl 1475.68220 Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 342-360 (2016). MSC: 68R07 68W40 PDFBibTeX XMLCite \textit{C. Mencía} et al., Lect. Notes Comput. Sci. 9710, 342--360 (2016; Zbl 1475.68220) Full Text: DOI
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao Fast, flexible MUS enumeration. (English) Zbl 1334.90080 Constraints 21, No. 2, 223-250 (2016). MSC: 90C10 PDFBibTeX XMLCite \textit{M. H. Liffiton} et al., Constraints 21, No. 2, 223--250 (2016; Zbl 1334.90080) Full Text: DOI
Mencía, Carlos; Previti, Alessandro; Marques-Silva, Joao SAT-based Horn least upper bounds. (English) Zbl 1471.68256 Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 423-433 (2015). MSC: 68T20 03B05 03B35 68V15 PDFBibTeX XMLCite \textit{C. Mencía} et al., Lect. Notes Comput. Sci. 9340, 423--433 (2015; Zbl 1471.68256) Full Text: DOI