Follow
Alessandro Previti
Alessandro Previti
Ericsson Research
Verified email at ericsson.com - Homepage
Title
Cited by
Cited by
Year
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
1962013
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21, 223-250, 2016
1792016
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
942015
Literal-based MCS extraction
C Mencía, A Previti, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
802015
Partial MUS enumeration
A Previti, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 818-825, 2013
662013
Prime Compilation of Non-Clausal Formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
International Joint Conference on Artificial Intelligence, 2015
452015
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
282011
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
262018
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
262016
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
252017
On computing preferred MUSes and MCSes
J Marques-Silva, A Previti
International Conference on Theory and Applications of Satisfiability …, 2014
222014
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
192021
SAT-based formula simplification
A Ignatiev, A Previti, J Marques-Silva
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
152015
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
122018
Machine reasoning explainability
K Cyras, R Badrinath, SK Mohalik, A Mujumdar, A Nikou, A Previti, ...
arXiv preprint arXiv:2009.00418, 2020
112020
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
92018
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
82014
On finding minimum satisfying assignments
A Ignatiev, A Previti, J Marques-Silva
Principles and Practice of Constraint Programming: 22nd International …, 2016
62016
Applying uct to boolean satisfiability
A Previti, R Ramanujan, M Schaerf, B Selman
International Conference on Theory and Applications of Satisfiability …, 2011
62011
ASP and subset minimality: Enumeration, cautious reasoning and MUSes
M Alviano, C Dodaro, S Fiorentino, A Previti, F Ricca
Artificial Intelligence 320, 103931, 2023
42023
The system can't perform the operation now. Try again later.
Articles 1–20