Alessandro Previti

Statistics

Publications

Citations

415

H-Index

Active since

2013

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

University College Dublin

University of Helsinki

Alessandro Previti is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in computer science, engineering, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationComputational ComplexityCombinatorial OptimizationSatisfiabilityProgram Analysis

Publications per year

2013–2021

Publications

On computing minimal correction subsets

João Marques‐Silva, Federico Heras, Mikoláš Janota et al. · International Joint Conference on Artificial Intelligence · 2013 · 131 citations

Mathematical Programming, Minimal Correction Subsets, Computational Complexity Theory +20

Fast, flexible MUS enumeration

Mark H. Liffiton, Alessandro Previti, Ammar Malik et al. · Constraints · 2015 · 127 citations

Combinatorics On Word, Flexible Mus Enumeration, Engineering +7

Literal-based MCS extraction

Carlos Mencía, Alessandro Previti, João Marques‐Silva · 2015 · 47 citations

Engineering, Knowledge Extraction, Verification +21

Partial MUS Enumeration

Alessandro Previti, João Marques‐Silva · Proceedings of the AAAI Conference on Artificial Intelligence · 2013 · 39 citations · Full text

Computational Logic, Combinatorics On Word, Partial Enumeration +15

Prime compilation of non-clausal formulae

Alessandro Previti, Alexey Ignatiev, António Morgado et al. · 2015 · 29 citations

1–5 of 8