Manquinho, V. and Marques-Silva, J. P. (2000) On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. Proceedings of the Design, Automation and Test in Europe Conference, Munich, Germany. pp. 356-363 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: March 2000
Additional Information:
Event Dates: March 2000
Venue - Dates:
Proceedings of the Design, Automation and Test in Europe Conference, Munich, Germany, 2000-03-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262034
URI: http://eprints.soton.ac.uk/id/eprint/262034
PURE UUID: 51849ad1-90a2-4ac9-ab6d-27b9b4e7fe59
Catalogue record
Date deposited: 02 Mar 2006
Last modified: 14 Mar 2024 07:03
Export record
Contributors
Author:
V. Manquinho
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.