Representing circuits more efficiently in symbolic model checking (1991)

by J L Burch, E M Clarke, D E Long
Venue:In Proceedings of the Twenty-eight ACM/IEEE Design Automation Conference