Il giorno 29 settembre 2026, presso il DiSIA, in sala riunioni 054, viale Morgagni 65, alle 14.00, Kazuhiro Kurita (Okayama University, Japan) terrà un seminario dal titolo: “Reverse Search for Binary Decision Diagram Construction from Monotone CNF Formulas”.
Abstract e dettagli del seminario