Für was steht das R? Sind damit die OBDDs gemeint?

R für Reduced.

reicht es den ROBDD anzugeben oder muss man da formaler rangehen? (kofaktor..)

brauchst nur den ROBDD, eine Kofaktorzerlegung wäre viel zu groß. Und dieser BDD ist sehr einfach zu bauen, man braucht eigentlich keine Kofaktorzerlegung.