Lynce, I. and Marques-Silva, J. P. (2003) An Overview of Backtrack Search Satisfiability Algorithms. Annals of Mathematics and Artificial Intelligence, 37 (3), 307-326.
Record type:
Article
More information
Published date: March 2003
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262049
URI: http://eprints.soton.ac.uk/id/eprint/262049
PURE UUID: 12c13000-daad-4f3d-a651-0650eca80ed3
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
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.