Lynce, Ines and Marques-Silva, Joao , Kautz, Henry and Selman, Bart (eds.) (2007) Random Backtracking in Backtrack Search Algorithms for Satisfiability. Discrete Applied Mathematics, 155 (12), 1604-1612.
Record type:
Article
More information
Published date: June 2007
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 264201
URI: http://eprints.soton.ac.uk/id/eprint/264201
ISSN: 0166-218X
PURE UUID: 9b242ca3-9d84-409c-8484-62955b3e7dd8
Catalogue record
Date deposited: 17 Jun 2007
Last modified: 14 Mar 2024 07:43
Export record
Contributors
Author:
Ines Lynce
Author:
Joao Marques-Silva
Editor:
Henry Kautz
Editor:
Bart Selman
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.