Login / Signup

An Optimal Encoding to Represent a Single Set in an ROBDD.

Ondrej LhotákStephen CurialJosé Nelson Amaral
Published in: IEEE Trans. Computers (2010)
Keyphrases