algorithms bdd boolean
See more