How to Encode a Logical Structure by an OBDD

@inproceedings{Veith1998HowTE,
  title={How to Encode a Logical Structure by an OBDD},
  author={Helmut Veith},
  booktitle={IEEE Conference on Computational Complexity},
  year={1998}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…