. . . . . "10118"^^ . "Bin\u00E4res Entscheidungsdiagramm"@de . . . . . . . . . . "187509546"^^ . . . . . . . . . . . . . . . "3"^^ . . . . . . . "4"^^ . "En informatique, un graphe de d\u00E9cision binaire ou diagramme de d\u00E9cision binaire (ou BDD pour Binary Decision Diagram en anglais) est une structure de donn\u00E9es utilis\u00E9e pour repr\u00E9senter des fonctions bool\u00E9ennes, ou des questionnaires binaires. On utilise les BDD pour repr\u00E9senter des ensembles ou des relations de mani\u00E8re compacte / compress\u00E9e."@fr . . . . . . "The Art of Computer Programming, fascicule 1"@fr . "Binair beslissingsdiagram"@nl . "2010"^^ . . . . . "Donald Knuth"@fr . . "En informatique, un graphe de d\u00E9cision binaire ou diagramme de d\u00E9cision binaire (ou BDD pour Binary Decision Diagram en anglais) est une structure de donn\u00E9es utilis\u00E9e pour repr\u00E9senter des fonctions bool\u00E9ennes, ou des questionnaires binaires. On utilise les BDD pour repr\u00E9senter des ensembles ou des relations de mani\u00E8re compacte / compress\u00E9e. Les diagrammes de d\u00E9cision binaires sont utilis\u00E9s par les programmes de conception assist\u00E9e par ordinateur (CAO / CAD) pour g\u00E9n\u00E9rer des circuits (synth\u00E8se logique), et dans la v\u00E9rification formelle. C'est une structure de donn\u00E9e consid\u00E9r\u00E9e comme compacte, en comparaison par exemple aux arbres de d\u00E9cision. Les diagrammes de d\u00E9cision binaire sont utilis\u00E9s dans le model checking symbolique de CTL."@fr . . . . . . . . . . . "Diagrama de decisi\u00F3n binario"@es . . . . . . . . "Diagramme de d\u00E9cision binaire"@fr . . . . . . "1387408"^^ . "Diagrama de decisi\u00F3 binari"@ca . .