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
1652013
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21 (2), 223-250, 2016
1302016
Literal-based MCS extraction
C Mencía, A Previti, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
642015
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
592015
Partial MUS enumeration
A Previti, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 2013
572013
Prime Compilation of Non-Clausal Formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
International Joint Conference on Artificial Intelligence, 2015
342015
MCS extraction with sublinear oracle queries
C Mencía, A Ignatiev, A Previti, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2016
212016
Premise set caching for enumerating minimal correction subsets
A Previti, C Mencía, M Järvisalo, J Marques-Silva
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
192018
Improving MCS enumeration via caching
A Previti, C Mencia, M Järvisalo, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2017
162017
On computing preferred MUSes and MCSes
J Marques-Silva, A Previti
International Conference on Theory and Applications of Satisfiability …, 2014
142014
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
132011
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
102018
SAT-based formula simplification
A Ignatiev, A Previti, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2015
92015
On exploiting hitting sets for model reconciliation
SL Vasileiou, A Previti, W Yeoh
arXiv preprint arXiv:2012.09274, 2020
62020
A portfolio approach to enumerating minimal correction subsets for satisfiability problems
Y Malitsky, B O’Sullivan, A Previti, J Marques-Silva
International Conference on Integration of Constraint Programming …, 2014
62014
Applying uct to boolean satisfiability
A Previti, R Ramanujan, M Schaerf, B Selman
International Conference on Theory and Applications of Satisfiability …, 2011
62011
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
42018
SAT-based Horn least upper bounds
C Mencía, A Previti, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2015
42015
On finding minimum satisfying assignments
A Ignatiev, A Previti, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2016
32016
On computing generalized backbones
A Previti, A Ignatiev, M Järvisalo, J Marques-Silva
2017 IEEE 29th International Conference on Tools with Artificial …, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20