Lynce, I., Baptista, L. and Marques-Silva, J. P. (2001) Towards Provably Complete Stochastic Search Algorithms for Satisfiability. Brazdil, P. and Jorge, A. (eds.) Proceedings of the Portuguese Conference on Artificial Intelligence, Porto, Portugal. pp. 363-370 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: December 2001
Additional Information:
Event Dates: December 2001
Venue - Dates:
Proceedings of the Portuguese Conference on Artificial Intelligence, Porto, Portugal, 2001-12-01
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262040
URI: http://eprints.soton.ac.uk/id/eprint/262040
PURE UUID: 77ef9073-ba57-431b-bdd9-59a1eb2dca6b
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:03
Export record
Contributors
Author:
I. Lynce
Author:
L. Baptista
Author:
J. P. Marques-Silva
Editor:
P. Brazdil
Editor:
A. Jorge
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.