@techreport{iwls2005,
	title={IWLS 2005 Benchmarks},
    booktitle = {published at 2005 International Workshop on Logic Synthesis},
	author={Albrecht, C.},
	year={2005},
	month=jun,
}