Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Sentential decision diagram
open-in-new
<p>In <a href="/facts/Artificial_intelligence/lJGauQwX">artificial intelligence</a>, a sentential decision diagram (SDD) is a type of <a href="/facts/Knowledge_representation/9lnzyILD">knowledge representation</a> used in <a href="/facts/Knowledge_compilation/5DrS6XRv">knowledge compilation</a> to represent <a href="/facts/Boolean_functions/uT7E8pqC">Boolean functions</a>. SDDs can be viewed as a generalization of the influential <a href="/facts/Binary_decision_diagram/977o5E7L">ordered binary decision diagram</a> (OBDD) representation, by allowing decisions on multiple variables at once. Like OBDDs, SDDs allow for tractable Boolean operations, while being exponentially more succinct. For this reason, they have become an important representation in knowledge compilation. </p>