| Fast, flexible MUS enumeration MH Liffiton, A Previti, A Malik, J Marques-Silva Constraints 21, 223-250, 2016 | 215 | 2016 |
| On Computing Minimal Correction Subsets. J Marques-Silva, F Heras, M Janota, A Previti, A Belov IJCAI 13, 615-622, 2013 | 213 | 2013 |
| 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 | 105 | 2015 |
| Literal-based MCS extraction C Mencıa, A Previti, J Marques-Silva IJCAI 15, 1973-1979, 2015 | 91 | 2015 |
| Partial MUS enumeration A Previti, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 818-825, 2013 | 72 | 2013 |
| Prime Compilation of Non-Clausal Formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva International Joint Conference on Artificial Intelligence, 2015 | 48 | 2015 |
| 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 | 33 | 2021 |
| 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 | 28 | 2016 |
| 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 |
| 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 | 26 | 2017 |
| 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 | 25 | 2011 |
| On computing preferred MUSes and MCSes J Marques-Silva, A Previti International Conference on Theory and Applications of Satisfiability …, 2014 | 24 | 2014 |
| SAT-based formula simplification A Ignatiev, A Previti, J Marques-Silva Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 19 | 2015 |
| Machine reasoning explainability K Cyras, R Badrinath, SK Mohalik, A Mujumdar, A Nikou, A Previti, ... arXiv preprint arXiv:2009.00418, 2020 | 18 | 2020 |
| ASP and subset minimality: Enumeration, cautious reasoning and MUSes M Alviano, C Dodaro, S Fiorentino, A Previti, F Ricca Artificial Intelligence 320, 103931, 2023 | 16 | 2023 |
| 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 |
| 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 | 11 | 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 | 10 | 2014 |
| Enumeration of minimal models and MUSes in WASP M Alviano, C Dodaro, S Fiorentino, A Previti, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 29-42, 2022 | 6 | 2022 |
| On finding minimum satisfying assignments A Ignatiev, A Previti, J Marques-Silva Principles and Practice of Constraint Programming: 22nd International …, 2016 | 6 | 2016 |
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
