Assertion: prism | /r/CapableOf | incorporate algorithm
Facets:
Source sentences:
text: PRISM incorporates state-of-the art symbolic data structures and algorithms, based on BDDs (Binary Decision Diagrams) and MTBDDs (Multi-Terminal Binary Decision Diagrams)