Abstract: Motivated by the need to understand the behaviour of complex machine learning (ML) models, there has been recent interest in learning optimal (or sub-optimal) decision trees (DTs). This ...

But if they are so useful, how can I apply them in real-life? Well, if that is the question you were thinking of, it is time to celebrate! Why? Because here you can find some practical and useful ...

等価性検証やモデル・チェッキング，論理合成／最適化，テスト・パターン自動生成など，さまざまなEDAツールで基盤技術として使われているBDD（binary decision diagram）。BDDはグラフ理論のグラフ構造を使って，論理式を表現したり，演算したりするための ...

Abstract: We propose a novel approach for one-class classification problems where a logical formula is used to estimate the region that covers all examples. A formula is viewed as a model that ...

Decision diagrams have emerged as a powerful tool in combinatorial optimisation, offering a structured and compact representation of vast solution spaces. These graphical models, which encapsulate ...

In the course of this Lab assignment, students are going to implement a minimal BDD package in C++. This package implements the fundamental manipulation methods for ROBDDs as they were introduced in ...