Posts by Collection

Japan

Japan - Summer 2023

Sardegna

Sardegna - Pre-summer 2023

Vancouver

Vancouver - Spring 2023

SMT-based weighted model integration with structure awareness

Published in UAI22, 2022

On CNF Conversion for Disjoint SAT Enumeration

Published in SAT23, 2023

Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding

Published in Scientific Reports - Nature, 2023

Disjoint Partial Enumeration without Blocking Clauses

Published in AAAI24, 2023

Enhancing SMT-based Weighted Model Integration by Structure Awareness

Published in AIJ, 2024

Experimenting with D-Wave quantum annealers on prime factorization problems

Published in Frontiers in Computer Science, 2024

Canonical Decision Diagrams Modulo Theories

Published in ECAI24, 2024

UAI22: SMT-based weighted model integration with structure awareness

Published: January 01, 2022

Pillole di Python: data analysis for dummies

Published: March 30, 2023

Pillole di Python: data visualization in Python

Published: April 13, 2023

MCW23: Enumerating Disjoint Partial Models without Blocking Clauses

Published: June 30, 2023

Automated Reasoning/Formal Verification Lab 21-22

Teaching, University of Trento, 2021

Here’s the GitHub repository of the course: AR-FV-21-22

Automated Reasoning/Formal Verification Lab 22-23

Teaching, University of Trento, 2022

Here’s the GitHub repository of the course: AR-FV-22-23

Automated Reasoning/Formal Verification Lab 23-24

Teaching, University of Trento, 2023

Here’s the GitHub repository of the course: AR-FV-23-24