A BDD-based satisfiability infrastructure using the unate recursive paradigm | IEEE Conference Publication | IEEE Xplore