BULL: A Library for Learning Algorithms of Boolean Functions.

Yu-Fang Chen, Bow-Yaw Wang

Browse the full TACAS paper archive.