Andere Kunden interessierten sich auch für
![Working Compilation]( "Working Compilation")
Working Compilation26,99 €![Compilation for Secure Multi-party Computation]( "Compilation for Secure Multi-party Computation")
Compilation for Secure Multi-party Computation44,99 €![Synthèse et Compilation de Services Web Sécurisés]( "Synthèse et Compilation de Services Web Sécurisés")
Synthèse et Compilation de Services Web Sécurisés32,99 €![De la modélisation littérale à la simulation numérique certifiée]( "De la modélisation littérale à la simulation numérique certifiée")
De la modélisation littérale à la simulation numérique certifiée23,99 €![Compilation and Synthesis for Embedded Reconfigurable Systems]( "Compilation and Synthesis for Embedded Reconfigurable Systems")
Compilation and Synthesis for Embedded Reconfigurable Systems74,99 €![Compiler Construction]( "Compiler Construction")
Compiler Construction36,99 €![Just-in-Time Compilation von Linked Data Querys mit LLVM]( "Just-in-Time Compilation von Linked Data Querys mit LLVM")
Just-in-Time Compilation von Linked Data Querys mit LLVM55,90 €
High Quality Content by WIKIPEDIA articles! Knowledge compilation is a family of approaches for addressing the intractability of a number of artificial intelligence problems. A propositional model is compiled in an off-line phase in order to support some queries in polytime. Many ways of compiling a propositional models exist . Among others: NNF, DNNF, d-DNNF, BDD, MDD, DNF and CNF. Different compiled representations have different properties.