Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Binary_decision_diagram> ?p ?o }
- Binary_decision_diagram abstract "In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression. Other data structures used to represent a Boolean function include negation normal form (NNF), propositional directed acyclic graph (PDAG).".
- Binary_decision_diagram thumbnail BDD.png?width=300.
- Binary_decision_diagram wikiPageExternalLink slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true.
- Binary_decision_diagram wikiPageExternalLink fasc1b.ps.gz.
- Binary_decision_diagram wikiPageExternalLink OBDD-Book.pdf.
- Binary_decision_diagram wikiPageExternalLink bdd.md.
- Binary_decision_diagram wikiPageID "576855".
- Binary_decision_diagram wikiPageLength "14008".
- Binary_decision_diagram wikiPageOutDegree "62".
- Binary_decision_diagram wikiPageRevisionID "690317540".
- Binary_decision_diagram wikiPageWikiLink Adnan_Darwiche_(computer_scientist).
- Binary_decision_diagram wikiPageWikiLink And-inverter_graph.
- Binary_decision_diagram wikiPageWikiLink Bayesian_probability.
- Binary_decision_diagram wikiPageWikiLink Binary_key.
- Binary_decision_diagram wikiPageWikiLink Binary_moment_diagram.
- Binary_decision_diagram wikiPageWikiLink Binary_relation.
- Binary_decision_diagram wikiPageWikiLink Boolean_function.
- Binary_decision_diagram wikiPageWikiLink Boolean_satisfiability_problem.
- Binary_decision_diagram wikiPageWikiLink Booles_expansion_theorem.
- Binary_decision_diagram wikiPageWikiLink Carnegie_Mellon_University.
- Binary_decision_diagram wikiPageWikiLink Category:Articles_with_example_code.
- Binary_decision_diagram wikiPageWikiLink Category:Boolean_algebra.
- Binary_decision_diagram wikiPageWikiLink Category:Diagrams.
- Binary_decision_diagram wikiPageWikiLink Category:Graph_data_structures.
- Binary_decision_diagram wikiPageWikiLink Category:Model_checking.
- Binary_decision_diagram wikiPageWikiLink Complexity_class.
- Binary_decision_diagram wikiPageWikiLink Computer-aided_design.
- Binary_decision_diagram wikiPageWikiLink Computer_science.
- Binary_decision_diagram wikiPageWikiLink Data_compression.
- Binary_decision_diagram wikiPageWikiLink Data_structure.
- Binary_decision_diagram wikiPageWikiLink Decision_tree.
- Binary_decision_diagram wikiPageWikiLink Decomposable_Negation_Normal_Form.
- Binary_decision_diagram wikiPageWikiLink Donald_Knuth.
- Binary_decision_diagram wikiPageWikiLink Dynamic_and_formal_equivalence.
- Binary_decision_diagram wikiPageWikiLink Factorization.
- Binary_decision_diagram wikiPageWikiLink Fault_tree_analysis.
- Binary_decision_diagram wikiPageWikiLink Field-programmable_gate_array.
- Binary_decision_diagram wikiPageWikiLink Formal_verification.
- Binary_decision_diagram wikiPageWikiLink Free_binary_decision_diagram.
- Binary_decision_diagram wikiPageWikiLink Graph_isomorphism.
- Binary_decision_diagram wikiPageWikiLink Graph_theory.
- Binary_decision_diagram wikiPageWikiLink poly.
- Binary_decision_diagram wikiPageWikiLink Logic_synthesis.
- Binary_decision_diagram wikiPageWikiLink Logical_conjunction.
- Binary_decision_diagram wikiPageWikiLink Logical_disjunction.
- Binary_decision_diagram wikiPageWikiLink Model_checking.
- Binary_decision_diagram wikiPageWikiLink Multiplexer.
- Binary_decision_diagram wikiPageWikiLink NC_(complexity).
- Binary_decision_diagram wikiPageWikiLink NP-hardness.
- Binary_decision_diagram wikiPageWikiLink Negation.
- Binary_decision_diagram wikiPageWikiLink Negation_normal_form.
- Binary_decision_diagram wikiPageWikiLink Parity_decision_diagram.
- Binary_decision_diagram wikiPageWikiLink Private_information_retrieval.
- Binary_decision_diagram wikiPageWikiLink Propositional_directed_acyclic_graph.
- Binary_decision_diagram wikiPageWikiLink Radix_tree.
- Binary_decision_diagram wikiPageWikiLink Randal_Bryant.
- Binary_decision_diagram wikiPageWikiLink Set_(mathematics).
- Binary_decision_diagram wikiPageWikiLink Tautology_(logic).
- Binary_decision_diagram wikiPageWikiLink The_Art_of_Computer_Programming.
- Binary_decision_diagram wikiPageWikiLink Tree_(data_structure).
- Binary_decision_diagram wikiPageWikiLink Truth_table.
- Binary_decision_diagram wikiPageWikiLink Zero-suppressed_decision_diagram.
- Binary_decision_diagram wikiPageWikiLink File:BDD.png.
- Binary_decision_diagram wikiPageWikiLink File:BDD_Variable_Ordering_Bad.svg.
- Binary_decision_diagram wikiPageWikiLink File:BDD_Variable_Ordering_Good.svg.
- Binary_decision_diagram wikiPageWikiLink File:BDD_simple.svg.
- Binary_decision_diagram wikiPageWikiLinkText "BDD".
- Binary_decision_diagram wikiPageWikiLinkText "BDD’s".
- Binary_decision_diagram wikiPageWikiLinkText "Binary Decision Diagrams".
- Binary_decision_diagram wikiPageWikiLinkText "Binary decision diagram".
- Binary_decision_diagram wikiPageWikiLinkText "Ordered Binary Decision Diagram".
- Binary_decision_diagram wikiPageWikiLinkText "Ordered Binary Decision Diagrams".
- Binary_decision_diagram wikiPageWikiLinkText "binary decision diagram (BDD)".
- Binary_decision_diagram wikiPageWikiLinkText "binary decision diagram".
- Binary_decision_diagram wikiPageUsesTemplate Template:Citation_needed.
- Binary_decision_diagram wikiPageUsesTemplate Template:Cite_book.
- Binary_decision_diagram wikiPageUsesTemplate Template:Commons_category.
- Binary_decision_diagram wikiPageUsesTemplate Template:Data_structures.
- Binary_decision_diagram wikiPageUsesTemplate Template:Reflist.
- Binary_decision_diagram wikiPageUsesTemplate Template:Rp.
- Binary_decision_diagram subject Category:Articles_with_example_code.
- Binary_decision_diagram subject Category:Boolean_algebra.
- Binary_decision_diagram subject Category:Diagrams.
- Binary_decision_diagram subject Category:Graph_data_structures.
- Binary_decision_diagram subject Category:Model_checking.
- Binary_decision_diagram hypernym Structure.
- Binary_decision_diagram type Building.
- Binary_decision_diagram type Infographic.
- Binary_decision_diagram type Method.
- Binary_decision_diagram type Object.
- Binary_decision_diagram type Redirect.
- Binary_decision_diagram type Structure.
- Binary_decision_diagram comment "In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression.".
- Binary_decision_diagram label "Binary decision diagram".
- Binary_decision_diagram sameAs Q864155.
- Binary_decision_diagram sameAs Binært_beslutningsdiagram.
- Binary_decision_diagram sameAs Binäres_Entscheidungsdiagramm.
- Binary_decision_diagram sameAs Diagrama_de_decisión_binario.
- Binary_decision_diagram sameAs Diagramme_de_décision_binaire.
- Binary_decision_diagram sameAs 二分決定図.