Bhalla, A., Lynce, I., Sousa, J. T. and Marques-Silva, J. P. (2005) Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. Journal of Automated Reasoning, 35 (1-3), 3-24.
Record type:
Article
More information
Published date: October 2005
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262056
URI: http://eprints.soton.ac.uk/id/eprint/262056
PURE UUID: ba2403b1-7f37-40a0-b9e0-b792708d826b
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
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.