Explore projects

ROS package to interface with cosypose

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"