Alessandro Previti

Available identifiers

zbMath Open previti.alessandroMaRDI QIDQ272007

List of research outcomes

Publication	Date of Publication	Type
ASP and subset minimality: enumeration, cautious reasoning and MUSes	2023-06-27	Paper
Enumeration of minimal models and MUSes in WASP	2023-04-04	Paper
Cautious reasoning in ASP via minimal models and unsatisfiable cores	2018-12-04	Paper
Improving MCS enumeration via caching	2017-11-15	Paper
A solution of the monoenergetic neutral particle transport equation for adjacent half-spaces with anisotropic scattering	2016-12-05	Paper
MCS Extraction with Sublinear Oracle Queries	2016-09-05	Paper
Fast, flexible MUS enumeration	2016-04-20	Paper
SAT-Based Horn Least Upper Bounds	2015-11-20	Paper
SAT-Based Formula Simplification	2015-11-20	Paper
On Computing Preferred MUSes and MCSes	2014-09-26	Paper

Research outcomes over time

This page was built for person: Alessandro Previti