We introduce a class of computational problems called the partial order constraint satisfaction problems (POCSPs) and present three methods for encoding them as binary decision diagrams (BDDs). The first method, which simply augments domain constraints with the transitivity and asymmetry for partial orders, is improved by the second method, which introduces the notion of domain variables to reduce the number of Boolean variables. The third method turns out to be most useful for monotonic domain constraints, because it requires no explicit encoding for the transitivity. We show how those methods are successfully applied to expert systems in a software verification domain.
CITATION STYLE
Kurihara, M., & Kondo, H. (2004). Efficient BDD encodings for partial order constraints with application to expert systems in software verification. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3029, pp. 827–837). Springer Verlag. https://doi.org/10.1007/978-3-540-24677-0_85
Mendeley helps you to discover research relevant for your work.