BDD encoding for partial order constraints and its application to expert systems in software verification domains.

Masahito Kurihara, Hisashi Kondo

Browse the full SMC paper archive.