Masahito Kurihara, Hisashi Kondo. Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. In Robert Orchard, Chunsheng Yang, Moonis Ali, editors, Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings. Volume 3029 of Lecture Notes in Computer Science, pages 827-837, Springer, 2004. [doi]
Abstract is missing.