C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Paolo E. Camurati
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Decision Trees
Supervised Machine Learning
Binary Decision Diagrams
Natural Language
Top Venues
DATE
Formal Methods Syst. Des.
</>
Publications
</>
Gianpiero Cabodi
,
Paolo E. Camurati
,
Marco Palena
,
Paolo Pasini
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking.
Formal Methods Syst. Des.
60 (2) (2022)
Gianpiero Cabodi
,
Paolo E. Camurati
,
Alexey Ignatiev
,
João Marques-Silva
,
Marco Palena
,
Paolo Pasini
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification.
DATE
(2021)