Alessandro Previti

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 16

Top Topics

Satisfiability Problem

Mazurkiewicz Traces

Top Venues

Publications

Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios. CoRR (2024)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320 (2023)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
Enumeration of Minimal Models and MUSes in WASP. LPNMR (2022)
Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh
On Exploiting Hitting Sets for Model Reconciliation. AAAI (2021)
Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh
On Exploiting Hitting Sets for Model Reconciliation. CoRR (2020)
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan
Machine Reasoning Explainability. CoRR (2020)
Carmine Dodaro, Alessandro Previti
Minipref: A Tool for Preferences in SAT (short paper). RCRA/RiCeRcA@AI*IA (2019)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR (2018)
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
Premise Set Caching for Enumerating Minimal Correction Subsets. AAAI (2018)
Alessandro Previti, Matti Järvisalo
A preference-based approach to backbone computation with application to argumentation. SAC (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18 (3-4) (2018)
Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva
On Computing Generalized Backbones. ICTAI (2017)
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
Improving MCS Enumeration via Caching. SAT (2017)
Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva
Fast, flexible MUS enumeration. Constraints An Int. J. 21 (2) (2016)
Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva
MCS Extraction with Sublinear Oracle Queries. SAT (2016)
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
On Finding Minimum Satisfying Assignments. CP (2016)
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva
Prime Compilation of Non-Clausal Formulae. IJCAI (2015)
Carlos Mencía, Alessandro Previti, João Marques-Silva
Literal-Based MCS Extraction. IJCAI (2015)
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
SAT-Based Formula Simplification. SAT (2015)
Carlos Mencía, Alessandro Previti, João Marques-Silva
SAT-Based Horn Least Upper Bounds. SAT (2015)
Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva
Smallest MUS Extraction with Minimal Hitting Set Dualization. CP (2015)
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. ECAI (2014)
João Marques-Silva, Alessandro Previti
On Computing Preferred MUSes and MCSes. SAT (2014)
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. CPAIOR (2014)
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov
On Computing Minimal Correction Subsets. IJCAI (2013)
Alessandro Previti, João Marques-Silva
Partial MUS Enumeration. AAAI (2013)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Monte-Carlo Style UCT Search for Boolean Satisfiability. AI*IA (2011)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Applying UCT to Boolean Satisfiability. SAT (2011)