Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs

Jordan Gergov, Christoph Meinel. Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs. In Ernst W. Mayr, editor, Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG 92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings. Volume 657 of Lecture Notes in Computer Science, pages 310-320, Springer, 1992.

@inproceedings{GergovM92,
  title = {Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs},
  author = {Jordan Gergov and Christoph Meinel},
  year = {1992},
  tags = {analysis, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/GergovM92},
  cites = {0},
  citedby = {0},
  pages = {310-320},
  booktitle = {Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG  92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings},
  editor = {Ernst W. Mayr},
  volume = {657},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56402-0},
}