MCW23: Enumerating Disjoint Partial Models without Blocking Clauses
Talk, SAT23, Alghero, Italy
Talks and presentations
Pillole di Python: data visualization in Python
Seminar, Dipartimento di Economia, Universitá degli Studi di Trento, Trento, Italy
Pillole di Python: data analysis for dummies
Seminar, Dipartimento di Economia, Universitá degli Studi di Trento, Trento, Italy
UAI22: SMT-based weighted model integration with structure awareness
Talk, UAI22, Eindhoven, Netherlands
