Optimizing Binary Decision Diagrams with MaxSAT for classification

21 March 2022

Papers citing "Optimizing Binary Decision Diagrams with MaxSAT for classification"

4 / 4 papers shown

Title
Explaining Control Policies through Predicate Decision Diagrams Debraj Chakraborty Clemens Dubslaff Sudeep Kanav Jan Křetínský Christoph Weinhuber 45 0 0 09 Mar 2025
OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach Hao Hu Shaowei Cai 15 0 0 22 Aug 2024
Optimization Over Trained Neural Networks: Taking a Relaxing Walk Jiatai Tong Junyang Cai Thiago Serra 63 6 0 07 Jan 2024
Optimal Decision Diagrams for Classification Alexandre M. Florio P. Martins Maximilian Schiffer Thiago Serra Thibaut Vidal 14 12 0 28 May 2022