EasyChair Smart Slide
TBUDDY: a Proof-Generating BDD Package
TBUDDY: a Proof-Generating BDD Package