Lynce, I. and Marques-Silva, J. P. (2003) The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. In, O'Sullivan, B. (ed.) Recent Advances in Constraints. (Lecture Notes in Artificial Intelligence, 2627) Springer, pp. 144-158.
Record type:
Book Section
More information
Published date: 2003
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262062
URI: http://eprints.soton.ac.uk/id/eprint/262062
PURE UUID: 912084c4-ca9c-4de2-bcbc-87a12b4b5c00
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:04
Export record
Contributors
Author:
I. Lynce
Author:
J. P. Marques-Silva
Editor:
B. O'Sullivan
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.