Baptista, L. and Marques-Silva, J. P. (2000) Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. Dechter, R. (ed.) Proceedings of the International Conference on Principles and Practice of Constraint Programming, Singapore. pp. 489-494 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 2000
Additional Information:
Event Dates: September 2000
Venue - Dates:
Proceedings of the International Conference on Principles and Practice of Constraint Programming, Singapore, 2000-09-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262037
URI: http://eprints.soton.ac.uk/id/eprint/262037
PURE UUID: 3cd93369-124e-4555-b620-312874068215
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:03
Export record
Contributors
Author:
L. Baptista
Author:
J. P. Marques-Silva
Editor:
R. Dechter
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.