RCBDD

(redirected from Refutation-Complete Binary Decision Diagram)
AcronymDefinition
RCBDDRefutation-Complete Binary Decision Diagram