Marques-Silva, Joao and Glass, Thomas (1999) Combinational Equivalence Checking Using Satisfiability and Recursive Learning. Design, Automation and Test in Europe, Munich, Germany. pp. 145-149 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: March 1999
Additional Information:
Event Dates: March, 1999
Venue - Dates:
Design, Automation and Test in Europe, Munich, Germany, 1999-03-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265003
URI: http://eprints.soton.ac.uk/id/eprint/265003
PURE UUID: 594d7899-48ce-4178-a582-de2b0579c6a6
Catalogue record
Date deposited: 06 Jan 2008 08:47
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Thomas Glass
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.