Marques-Silva, J. P. and Sakallah, K. A. (1999) GRASP-A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers, 48 (5), 506-521.
Record type:
Article
More information
Published date: May 1999
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262032
URI: http://eprints.soton.ac.uk/id/eprint/262032
PURE UUID: a79c1df6-8230-42df-b850-ecfcb1172c21
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:04
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.