[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Learning from BDDs in SAT-based bounded model checking
Gupta, Aarti, Ganai, Malay, Wang, Chao, Yang, Zijiang, Ashar, PranavYear:
2003
Language:
english
DOI:
10.1145/775832.776040
File:
PDF, 294 KB
english, 2003