Marco Dalla

According to our database, Marco Dalla authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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