Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.

Yiping Tang, Kohei Hatano, Eiji Takimoto

Browse the full DIS paper archive.