Marques-Silva, J. P. and Sakallah, K. (2003) GRASP - A New Search Algorithm for Satisfiability. In, Kuehlmann, A. (ed.) The Best of ICCAD -- 20 Years of Excellence in Computer Aided Design, Collection of Best Papers. Kluwer Academic Publishers, pp. 73-89.
Record type:
Book Section
More information
Published date: 2003
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262060
URI: http://eprints.soton.ac.uk/id/eprint/262060
PURE UUID: 85501bac-7b37-435a-b09d-76f9eab5a804
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:04
Export record
Contributors
Author:
J. P. Marques-Silva
Author:
K. Sakallah
Editor:
A. Kuehlmann
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.