English Binary decision diagram Cited by user RDBrown on 09 Oct 2022 In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function.