Glenn Jennings. Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition. In Proceedings 28st Annual Simulation Symposium (SS 95), April 25-28, 1995, Santa Barbara, California, USA. pages 303-310, IEEE Computer Society, 1995. [doi]
Abstract is missing.