GRASP: A New Search Algorithm for Satisfiability


Marques-Silva, J. P. and Sakallah, K. A. (1996) GRASP: A New Search Algorithm for Satisfiability At International Conference on Computer-Aided Design. , pp. 220-227.

Download

[img] PDF jpms-iccad96.pdf - Other
Download (888kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: November 1996
Venue - Dates: International Conference on Computer-Aided Design, 1996-11-01
Related URLs:
Organisations: Electronics & Computer Science
ePrint ID: 262031
Date :
Date Event
November 1996Published
Date Deposited: 02 Mar 2006
Last Modified: 17 Apr 2017 21:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262031

Actions (login required)

View Item View Item