Sentential Decision Diagrams And Their Applications
     an invited talk
speaker:Guy Van den Broeck
occasion: November 4, 2015, 0 h 25 m
location: INFORMS Annual Meeting 2015 Philadelphia
abstract: Sentential decision diagrams (SDDs) are a new class of decision diagrams that branch on arbitrary sentences instead of individual variables. They generalize ordered binary decision diagrams (OBDDs) and carry over many desirable OBDD properties, such as canonicity and support for bottom-up compilation with Boolean operators, while being more compact than OBDDs. These key properties have enabled several successful AI applications in recent years, particularly for reasoning about uncertainty.