List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| ASP and subset minimality: enumeration, cautious reasoning and MUSes Artificial Intelligence | 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 Theory and Practice of Logic Programming | 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 Journal of Computational Physics | 2016-12-05 | Paper |
| MCS Extraction with Sublinear Oracle Queries Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
| Fast, flexible MUS enumeration Constraints | 2016-04-20 | Paper |
| SAT-Based Horn Least Upper Bounds Lecture Notes in Computer Science | 2015-11-20 | Paper |
| SAT-Based Formula Simplification Lecture Notes in Computer Science | 2015-11-20 | Paper |
| On computing preferred MUSes and MCSes Lecture Notes in Computer Science | 2014-09-26 | Paper |
Research outcomes over time
This page was built for person: Alessandro Previti
