Marco Dalla

According to our database, Marco Dalla authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Machine Learning Approach to Model Counting.

Marco Dalla, Andrea Visentin, Barry O'Sullivan

Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024

SAT Instances Generation Using Graph Variational Autoencoders.

Daniel Crowley, Marco Dalla, Barry O'Sullivan, Andrea Visentin

Proceedings of the 32nd European Symposium on Artificial Neural Networks, 2024

2023

SAT Feature Analysis for Machine Learning Classification Tasks.

Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, Barry O'Sullivan

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Using Machine Learning Classifiers in SAT Branching [Extended Abstract].

Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

2022

SATfeatPy - A Python-based Feature Extraction System for Satisfiability.

Benjamin Provan-Bessell, Marco Dalla, Andrea Visentin, Barry O'Sullivan

CoRR, 2022

2021

Automatic Cell Counting in Flourescent Microscopy Using Deep Learning.

Roberto Morelli, Luca Clissa, Marco Dalla, Marco Luppi, Lorenzo Rinaldi, Antonio Zoccoli

CoRR, 2021

Automated SAT Problem Feature Extraction using Convolutional Autoencoders.

Marco Dalla, Andrea Visentin, Barry O'Sullivan

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021