Donald Chai, Andreas Kuehlmann
Building a better Boolean matcher and symmetry detector
DATE, 2006.
@inproceedings{DATE-2006-ChaiK,
author = "Donald Chai and Andreas Kuehlmann",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131780",
pages = "1079--1084",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Building a better Boolean matcher and symmetry detector}",
year = 2006,
}