Bhalla, A., Lynce, I., Sousa, J. and Marques-Silva, J. P. (2003) Heuristic-Based Backtracking for Propositional Satisfiability. Proceedings of the Portuguese Conference on Artificial Intelligence, Beja, Portugal.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: December 2003
Additional Information:
Event Dates: December 2003
Venue - Dates:
Proceedings of the Portuguese Conference on Artificial Intelligence, Beja, Portugal, 2003-12-01
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262052
URI: http://eprints.soton.ac.uk/id/eprint/262052
PURE UUID: e65a4ffe-239a-4552-8863-206b41e4e336
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. 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.