Shin-ichi Minato, Shinya Ishihara
Streaming BDD manipulation for large-scale combinatorial problems
DATE, 2001.
@inproceedings{DATE-2001-MinatoI,
author = "Shin-ichi Minato and Shinya Ishihara",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367856",
isbn = "0-7695-0993-2",
pages = "702--707",
publisher = "{ACM}",
title = "{Streaming BDD manipulation for large-scale combinatorial problems}",
year = 2001,
}