​
Login / Signup
Marco Dalla
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Feature Extraction
Fisher Classifier
Satisfiability Problem
Sat Problem
Top Venues
CoRR
SOCS
ICTAI
</>
Publications
</>
Marco Dalla
,
Benjamin Provan-Bessell
,
Andrea Visentin
,
Barry O'Sullivan
SAT Feature Analysis for Machine Learning Classification Tasks.
SOCS
(2023)
Ruth Helen Bergin
,
Marco Dalla
,
Andrea Visentin
,
Barry O'Sullivan
,
Gregory M. Provan
Using Machine Learning Classifiers in SAT Branching [Extended Abstract].
SOCS
(2023)
Benjamin Provan-Bessell
,
Marco Dalla
,
Andrea Visentin
,
Barry O'Sullivan
SATfeatPy - A Python-based Feature Extraction System for Satisfiability.
CoRR
(2022)
Roberto Morelli
,
Luca Clissa
,
Marco Dalla
,
Marco Luppi
,
Lorenzo Rinaldi
,
Antonio Zoccoli
Automatic Cell Counting in Flourescent Microscopy Using Deep Learning.
CoRR
(2021)
Marco Dalla
,
Andrea Visentin
,
Barry O'Sullivan
Automated SAT Problem Feature Extraction using Convolutional Autoencoders.
ICTAI
(2021)