Automated SAT Problem Feature Extraction using Convolutional Autoencoders. - Marco Dalla; Andrea Visentin; Barry O'Sullivan (ICTAI, 2021)

Automatic Cell Counting in Flourescent Microscopy Using Deep Learning. - Roberto Morelli; Luca Clissa; Marco Dalla; Marco Luppi; Lorenzo Rinaldi; Antonio Zoccoli (CoRR, 2021)

SATfeatPy - A Python-based Feature Extraction System for Satisfiability. - Benjamin Provan-Bessell; Marco Dalla; Andrea Visentin; Barry O'Sullivan (CoRR, 2022)

Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. - Ruth Helen Bergin; Marco Dalla; Andrea Visentin; Barry O'Sullivan; Gregory M. Provan (SOCS, 2023)

SAT Feature Analysis for Machine Learning Classification Tasks. - Marco Dalla; Benjamin Provan-Bessell; Andrea Visentin; Barry O'Sullivan (SOCS, 2023)

SAT Instances Generation Using Graph Variational Autoencoders. - Daniel Crowley; Marco Dalla; Barry O'Sullivan; Andrea Visentin (ESANN, 2024)

A Machine Learning Approach to Model Counting. - Marco Dalla; Andrea Visentin; Barry O'Sullivan (ICTAI, 2024)

Unsupervised Induction Motor Anomaly Detection Using a Deep Convolutional Autoencoder Based on Multi-Sensor Data Fusion. - Andrea Visentin; Marco Dalla; Benjamin Provan-Bessell; Barry O'Sullivan (SMARTCOMP, 2025)