Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory

Norbert Lehmann. Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory. In Khaled Mellouli, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings. Volume 4724 of Lecture Notes in Computer Science, pages 320-331, Springer, 2007. [doi]

@inproceedings{Lehmann07:2,
  title = {Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory},
  author = {Norbert Lehmann},
  year = {2007},
  doi = {10.1007/978-3-540-75256-1_30},
  url = {http://dx.doi.org/10.1007/978-3-540-75256-1_30},
  researchr = {https://researchr.org/publication/Lehmann07%3A2},
  cites = {0},
  citedby = {0},
  pages = {320-331},
  booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings},
  editor = {Khaled Mellouli},
  volume = {4724},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75255-4},
}