Alessandro Previti
Alessandro Previti
Ericsson Research
Dirección de correo verificada de ericsson.com - Página principal
Título
Citado por
Citado por
Año
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
1272013
Fast, flexible MUS enumeration
MH Liffiton, A Previti, A Malik, J Marques-Silva
Constraints 21 (2), 223-250, 2016
952016
Literal-based MCS extraction
C Mencía, A Previti, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
502015
Partial MUS enumeration
A Previti, J Marques-Silva
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
432013
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
392015
Prime Compilation of Non-Clausal Formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
International Joint Conference on Artificial Intelligence, 2015
302015
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
142016
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
112017
On computing preferred MUSes and MCSes
J Marques-Silva, A Previti
International Conference on Theory and Applications of Satisfiability …, 2014
112014
Premise set caching for enumerating minimal correction subsets
A Previti, C Mencia, M Järvisalo, J Marques-Silva
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
92018
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
82011
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
72018
SAT-based formula simplification
A Ignatiev, A Previti, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2015
72015
A portfolio approach to enumerating minimal correction subsets for satisfiability problems
Y Malitsky, B O’Sullivan, A Previti, J Marques-Silva
International Conference on AI and OR Techniques in Constriant 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
52011
SAT-based Horn least upper bounds
C Mencía, A Previti, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2015
42015
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
32018
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
On finding minimum satisfying assignments
A Ignatiev, A Previti, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2016
22016
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
Y Malitsky, B O'Sullivan, A Previti, J Marques-Silva
European Conference on Artificial Intelligence, 2014
22014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20