João P. Marques Silva, Thomas Glaß
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
DATE, 1999.
@inproceedings{DATE-1999-Marques-SilvaG,
author = "João P. Marques Silva and Thomas Glaß",
booktitle = "{Proceedings of the Fourth Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1999.761110",
isbn = "0-7695-0078-1",
pages = "145--149",
publisher = "{IEEE Computer Society}",
title = "{Combinational Equivalence Checking Using Satisfiability and Recursive Learning}",
year = 1999,
}