Bhalla, A., Lynce, I., Sousa, J. T. and Marques-Silva, J. P. (2006) Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. In, Giunchiglia, E. and Walsh, T. (eds.) SAT 2005 -- Satisfiability Research in the Year 2005. Springer, pp. 1-22.
Record type:
Book Section
More information
Published date: March 2006
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262061
URI: http://eprints.soton.ac.uk/id/eprint/262061
PURE UUID: da46154a-39ec-4e58-bc95-ba648d0d8539
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:04
Export record
Contributors
Author:
A. Bhalla
Author:
I. Lynce
Author:
J. T. Sousa
Author:
J. P. Marques-Silva
Editor:
E. Giunchiglia
Editor:
T. Walsh
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.