4:["$","div",null,{"className":"min-h-screen bg-white flex flex-col","children":[["$","div",null,{"className":"px-6 pt-6 pb-4 border-b border-gray-100","children":[["$","div",null,{"className":"flex items-center gap-1.5 text-xs text-gray-400 mb-4","children":[["$","a",null,{"href":"/","className":"hover:text-[#26a69a] transition-colors","children":"Market"}],["$","span",null,{"children":"›"}],["$","span",null,{"className":"text-gray-600","children":"Knowledge compilation"}]]}],["$","div",null,{"className":"text-[10px] text-gray-400 uppercase tracking-widest mb-1","children":"Company Profile"}],["$","h1",null,{"className":"text-2xl font-bold text-gray-900","children":"Knowledge compilation"}],null]}],["$","div",null,{"className":"flex-1 px-6 py-6","children":[["$","p",null,{"className":"text-sm text-gray-600 leading-relaxed mb-8","children":"Knowledge compilation is a family of approaches for addressing the intractability of\na number of artificial intelligence problems."}],["$","div",null,{"className":"columns-1 md:columns-2 gap-10","children":[["$","div","0",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Classes of representations"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"Some examples of diagram classes include decision trees, OBDDs, FBDDs, and non-deterministic OBDDs, as well as MDD. Some examples of formula classes include DNF and CNF. Examples of circuit classes include NNF, DNNF, d-DNNF, and SDD. == Knowledge compilers =="}}]]}],["$","div","1",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Knowledge compilers"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"• c2d: supports compilation to d-DNNF • d4: supports compilation to d-DNNF • miniC2D: supports compilation to SDD • KCBox: supports compilation to OBDD, OBDD[AND], and CCDD == References =="}}]]}]]}],["$","div",null,{"className":"mt-8 pt-4 border-t border-gray-100","children":["$","a",null,{"href":"https://en.wikipedia.org/wiki/Knowledge%20compilation","target":"_blank","rel":"noopener noreferrer","className":"text-xs text-gray-400 hover:text-gray-600 transition-colors","children":"Source: Wikipedia ↗"}]}]]}],["$","div",null,{"className":"px-6 py-4 border-t border-gray-100 flex justify-between items-center","children":[["$","a",null,{"href":"/","className":"text-xs text-gray-300 italic hover:text-gray-500 transition-colors","children":"tickerdossier.com"}],["$","a",null,{"href":"https://tickerdossier.substack.com","target":"_blank","rel":"noopener noreferrer","className":"text-xs text-gray-400 hover:text-gray-600 transition-colors","children":"tickerdossier.substack.com"}]]}]]}]