Marques-Silva, J. P. and Sakallah, K. A. (2000) Boolean Satisfiability in Electronic Design Automation. Proceedings of the Design Automation Conference, Los Angeles, California, U.S.A.. pp. 675-680 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: June 2000
Additional Information:
Event Dates: June 2000
Venue - Dates:
Proceedings of the Design Automation Conference, Los Angeles, California, U.S.A., 2000-06-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262035
URI: http://eprints.soton.ac.uk/id/eprint/262035
PURE UUID: db10b2ef-753d-45aa-9b45-aad0b51a49c1
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:03
Export record
Contributors
Author:
J. P. Marques-Silva
Author:
K. A. Sakallah
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.