| 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 | 197 | 2013 |
| Fast, flexible MUS enumeration MH Liffiton, A Previti, A Malik, J Marques-Silva Constraints 21, 223-250, 2016 | 174 | 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 | 88 | 2015 |
| Literal-based MCS extraction C Mencía, A Previti, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 79 | 2015 |
| Partial MUS enumeration A Previti, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 818-825, 2013 | 65 | 2013 |
| Prime Compilation of Non-Clausal Formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva International Joint Conference on Artificial Intelligence, 2015 | 43 | 2015 |
| 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 | 24 | 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 | 24 | 2016 |
| 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 | 24 | 2011 |
| 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 | 23 | 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 | 14 | 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 |
| 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 | 9 | 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 | 9 | 2014 |
| Machine reasoning explainability K Cyras, R Badrinath, SK Mohalik, A Mujumdar, A Nikou, A Previti, ... arXiv preprint arXiv:2009.00418, 2020 | 8 | 2020 |
| 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 |
| 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 | 4 | 2022 |
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
