On computing minimal correction subsets J Marques-Silva, F Heras, M Janota, A Previti, A Belov Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 196 | 2013 |
Fast, flexible MUS enumeration MH Liffiton, A Previti, A Malik, J Marques-Silva Constraints 21, 223-250, 2016 | 179 | 2016 |
Smallest MUS extraction with minimal hitting set dualization A Ignatiev, A Previti, M Liffiton, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2015 | 94 | 2015 |
Literal-based MCS extraction C Mencía, A Previti, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 80 | 2015 |
Partial MUS enumeration A Previti, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 818-825, 2013 | 66 | 2013 |
Prime Compilation of Non-Clausal Formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva International Joint Conference on Artificial Intelligence, 2015 | 45 | 2015 |
Monte-carlo style uct search for boolean satisfiability A Previti, R Ramanujan, M Schaerf, B Selman Congress of the Italian Association for Artificial Intelligence, 177-188, 2011 | 27 | 2011 |
Premise set caching for enumerating minimal correction subsets A Previti, C Mencía, M Järvisalo, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 26 | 2018 |
MCS extraction with sublinear oracle queries C Mencía, A Ignatiev, A Previti, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 26 | 2016 |
Improving MCS enumeration via caching A Previti, C Mencía, M Järvisalo, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2017 | 25 | 2017 |
On computing preferred MUSes and MCSes J Marques-Silva, A Previti International Conference on Theory and Applications of Satisfiability …, 2014 | 22 | 2014 |
On exploiting hitting sets for model reconciliation SL Vasileiou, A Previti, W Yeoh Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6514-6521, 2021 | 19 | 2021 |
SAT-based formula simplification A Ignatiev, A Previti, J Marques-Silva Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 15 | 2015 |
Cautious reasoning in ASP via minimal models and unsatisfiable cores M Alviano, C Dodaro, M Järvisalo, M Maratea, A Previti Theory and Practice of Logic Programming 18 (3-4), 319-336, 2018 | 12 | 2018 |
Machine reasoning explainability K Cyras, R Badrinath, SK Mohalik, A Mujumdar, A Nikou, A Previti, ... arXiv preprint arXiv:2009.00418, 2020 | 11 | 2020 |
A preference-based approach to backbone computation with application to argumentation A Previti, M Järvisalo Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 896-902, 2018 | 10 | 2018 |
A portfolio approach to enumerating minimal correction subsets for satisfiability problems Y Malitsky, B O’Sullivan, A Previti, J Marques-Silva Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014 | 8 | 2014 |
On finding minimum satisfying assignments A Ignatiev, A Previti, J Marques-Silva Principles and Practice of Constraint Programming: 22nd International …, 2016 | 6 | 2016 |
Applying uct to boolean satisfiability A Previti, R Ramanujan, M Schaerf, B Selman International Conference on Theory and Applications of Satisfiability …, 2011 | 6 | 2011 |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes M Alviano, C Dodaro, S Fiorentino, A Previti, F Ricca Artificial Intelligence 320, 103931, 2023 | 4 | 2023 |