Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Biasing symbolic search by means of dynamic activity profiles
DATE, 2001.
@inproceedings{DATE-2001-CabodiCQ,
author = "Gianpiero Cabodi and Paolo Camurati and Stefano Quer",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367076",
isbn = "0-7695-0993-2",
pages = "9--15",
publisher = "{ACM}",
title = "{Biasing symbolic search by means of dynamic activity profiles}",
year = 2001,
}