Marques-Silva, J. P. and Sakallah, K. A. (1996) GRASP: A New Search Algorithm for Satisfiability. International Conference on Computer-Aided Design, Santa Clara, California, U.S.A.. pp. 220-227 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: November 1996
Additional Information:
Event Dates: November 1996
Venue - Dates:
International Conference on Computer-Aided Design, Santa Clara, California, U.S.A., 1996-11-01
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262031
URI: http://eprints.soton.ac.uk/id/eprint/262031
PURE UUID: 5ed4244c-eb95-443d-b52e-483091d3d132
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.