Marques-Silva, J. P. (2000) Algebraic Simplification Techniques for Propositional Satisfiability. Dechter, R. (ed.) Proceedings of the International Conference on Principles and Practice of Constraint Programming, Singapore. pp. 537-542 .
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: 262038
URI: http://eprints.soton.ac.uk/id/eprint/262038
PURE UUID: 0d8f6b46-a472-4a91-b8dc-ad49d6ed438b
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:03
Export record
Contributors
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.