Ordered Binary Decision Diagrams

See for this topic the paper of Bryant (1986)[47]; additionally chapter 5 of Clarke et al. (1999)[61] as well as chapter 4.2 of Bérard et al. (2001)[34].



Gerd Doeben-Henisch 2010-03-03