About: Binary decision diagram

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Data structure

Property	Value
dbo:description	data structure (en) estructura de dades per a algorismes eficients en expressions booleanes (ca) форма представления булевой функции (ru) एक आंकड़ा संरचना (hi)
dbo:thumbnail	wiki-commons:Special:FilePath/BDD.png?width=300
dbo:wikiPageExternalLink	https://www.youtube.com/watch%3Fv=SQE21efsf7Y http://www-cs-faculty.stanford.edu/~knuth/fasc1b.ps.gz http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_ITS/books/OBDD-Book.pdf https://github.com/johnyf/tool_lists/blob/master/bdd.md
dbo:wikiPageWikiLink	dbr:Model_checking dbr:NC_(complexity) dbr:Karnaugh_map dbr:Data_compression dbc:Boolean_algebra dbc:Model_checking dbr:Set_(mathematics) dbr:Rooted_graph dbr:Graph_isomorphism dbr:Truth_table dbr:Radix_tree dbc:Articles_with_example_code dbr:Logical_conjunction dbr:Tautology_(logic) dbr:♯P dbr:Bayesian_probability dbr:Propositional_directed_acyclic_graph dbr:Graph_theory dbr:Data_structure dbr:Computer_science dbr:Donald_Knuth dbc:Graph_data_structures dbr:The_Art_of_Computer_Programming dbr:Carnegie_Mellon_University dbr:Multiplexer dbr:Negation dbr:Boolean_satisfiability_problem dbr:Complexity_class dbr:Private_information_retrieval dbr:Hardware_acceleration dbr:Child_node dbr:Negation_normal_form dbr:And-inverter_graph dbr:P/poly dbr:Formal_verification dbr:Logic_synthesis dbr:Computational_problem dbr:L/poly dbr:Zero-suppressed_decision_diagram dbr:FPGA dbc:Diagrams dbr:Boolean_function dbr:Decision_tree dbr:Logical_disjunction dbr:Binary_moment_diagram dbr:Zhegalkin_polynomial dbr:Randal_Bryant dbr:Integer_factorization dbr:Computer_Aided_Design dbr:Relation_(mathematics) dbr:NP-complete dbr:NP-hard dbr:Fault_tree dbr:Shannon_expansion dbr:Adnan_Darwiche_(computer_scientist) dbr:Binary_decision_tree dbr:Decomposable_negation_normal_form dbr:File:BDD.png dbr:File:BDD_Variable_Ordering_Bad.svg dbr:File:BDD_Variable_Ordering_Good.svg dbr:File:BDD_diagram_with_complemented_edges.png dbr:File:BDD_simple.svg dbr:Free_binary_decision_diagram dbr:Parity_decision_diagram dbr:Switching_function dbr:Polynomial-time dbr:Ripple_carry_adder
dbp:cs1Dates	y (en)
dbp:date	May 2019 (en)
dbp:wikiPageUsesTemplate	dbt:Diagrams_in_logic dbt:Commons_category dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Redirect dbt:Cite_journal dbt:Use_dmy_dates dbt:Citation_needed dbt:Data_structures dbt:Rp dbt:Short_description
dct:subject	dbc:Boolean_algebra dbc:Model_checking dbc:Knowledge_compilation dbc:Graph_data_structures dbc:Diagrams
gold:hypernym	dbr:Structure
rdfs:label	Binary decision diagram (en) Diagrama de decisió binari (ca) Binäres Entscheidungsdiagramm (de) Diagrama de decisión binario (es) Diagramme de décision binaire (fr) 二分決定図 (ja) Binair beslissingsdiagram (nl) Бинарная диаграмма решений (ru) Бінарна діаграма рішень (uk) 二元决策图 (zh)
owl:sameAs	yago-res:Binary decision diagram freebase:Binary decision diagram wikidata:Binary decision diagram dbpedia-nl:Binary decision diagram dbpedia-de:Binary decision diagram dbpedia-fr:Binary decision diagram dbpedia-zh:Binary decision diagram dbpedia-ja:Binary decision diagram dbpedia-da:Binary decision diagram dbpedia-es:Binary decision diagram dbpedia-ru:Binary decision diagram dbpedia-commons:Binary decision diagram dbpedia-ca:Binary decision diagram http://d-nb.info/gnd/4530728-3 dbpedia-hi:Binary decision diagram dbpedia-sr:Binary decision diagram dbpedia-uk:Binary decision diagram dbpedia-global:Binary decision diagram dbr:Binary decision diagram
prov:wasDerivedFrom	wikipedia-en:Binary_decision_diagram?oldid=1296340353&ns=0
foaf:depiction	wiki-commons:Special:FilePath/BDD.png wiki-commons:Special:FilePath/BDD_Variable_Ordering_Bad.svg wiki-commons:Special:FilePath/BDD_Variable_Ordering_Good.svg wiki-commons:Special:FilePath/BDD_diagram_with_complemented_edges_2.png wiki-commons:Special:FilePath/BDD_simple.svg
foaf:isPrimaryTopicOf	wikipedia-en:Binary_decision_diagram
is dbo:wikiPageDisambiguates of	dbr:BDD
is dbo:wikiPageRedirects of	dbr:Branching_program dbr:Branching_programs dbr:Ordered_binary_decision_diagram dbr:OBDD dbr:Binary_Decision_Diagram dbr:Binary_Decision_Diagrams dbr:Binary_decision_diagrams dbr:Reduced_ordered_binary_decision_diagram dbr:ROBDD
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:List_of_graphical_methods dbr:Karnaugh_map dbr:Communicating_sequential_processes dbr:Digital_electronics dbr:Formal_methods dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Ingo_Wegener dbr:Bernoulli_distribution dbr:Automated_theorem_proving dbr:Truth_table dbr:List_of_data_structures dbr:Datalog dbr:Boole's_expansion_theorem dbr:Formal_equivalence_checking dbr:Directed_acyclic_graph dbr:Propositional_directed_acyclic_graph dbr:SAT_solver dbr:Libdmc dbr:Computer_engineering_compendium dbr:The_Art_of_Computer_Programming dbr:Branching_program dbr:Branching_programs dbr:BDD dbr:And-inverter_graph dbr:Schwartz–Zippel_lemma dbr:Boolean_algebra dbr:Logic_optimization dbr:Logic_synthesis dbr:Decision_tree_learning dbr:Kevin_Karplus dbr:List_of_PSPACE-complete_problems dbr:Zero-suppressed_decision_diagram dbr:Boolean_function dbr:DPLL_algorithm dbr:Binary_decision dbr:Binary_moment_diagram dbr:Randal_Bryant dbr:Reed–Muller_expansion dbr:Enumeration_algorithm dbr:Knowledge_compilation dbr:NuSMV dbr:Reachability_problem dbr:Ordered_binary_decision_diagram dbr:OBDD dbr:Binary_Decision_Diagram dbr:Binary_Decision_Diagrams dbr:Binary_decision_diagrams dbr:Reduced_ordered_binary_decision_diagram dbr:ROBDD
is rdfs:seeAlso of	dbr:Binary_decision
is owl:differentFrom of	dbr:Influence_diagram
is foaf:primaryTopic of	wikipedia-en:Binary_decision_diagram