Explore projects

IRAP's PhD Day 2023 Trung-Tin DINH tdinhàirap.omp.eu

This is a library test gathering all necessary tests for owntech boards.

The SAT and MaxSAT encoding for generating optimal binary decision diagrams.

Codes of paper "Learning Optimal Decision Trees with MaxSAT and its Integrations in AdaBoost"