Alessandro Previti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
9
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint). | Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son |
| 2022 | LPNMR | Enumeration of Minimal Models and MUSes in WASP. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
| 2021 | AAAI | On Exploiting Hitting Sets for Model Reconciliation. | Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh |
| 2018 | AAAI | Premise Set Caching for Enumerating Minimal Correction Subsets. | Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva |
| 2018 | SAC | A preference-based approach to backbone computation with application to argumentation. | Alessandro Previti, Matti Jrvisalo |
| 2017 | ICTAI | On Computing Generalized Backbones. | Alessandro Previti, Alexey Ignatiev, Matti Jrvisalo, Joo Marques-Silva |
| 2017 | SAT | Improving MCS Enumeration via Caching. | Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva |
| 2016 | CP | On Finding Minimum Satisfying Assignments. | Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2016 | SAT | MCS Extraction with Sublinear Oracle Queries. | Carlos Menca, Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2015 | CP | Smallest MUS Extraction with Minimal Hitting Set Dualization. | Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, Joo Marques-Silva |
| 2015 | IJCAI | Literal-Based MCS Extraction. | Carlos Menca, Alessandro Previti, Joo Marques-Silva |
| 2015 | IJCAI | Prime Compilation of Non-Clausal Formulae. | Alessandro Previti, Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva |
| 2015 | SAT | SAT-Based Formula Simplification. | Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2015 | SAT | SAT-Based Horn Least Upper Bounds. | Carlos Menca, Alessandro Previti, Joo Marques-Silva |
| 2014 | CPAIOR | A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. | Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joo Marques-Silva |
| 2014 | ECAI | Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. | Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joo Marques-Silva |
| 2014 | SAT | On Computing Preferred MUSes and MCSes. | Joo Marques-Silva, Alessandro Previti |
| 2013 | AAAI | Partial MUS Enumeration. | Alessandro Previti, Joo Marques-Silva |
| 2013 | IJCAI | On Computing Minimal Correction Subsets. | Joo Marques-Silva, Federico Heras, Mikols Janota, Alessandro Previti, Anton Belov |
| 2011 | SAT | Applying UCT to Boolean Satisfiability. | Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman |