Marques-Silva, Joao (2008) Practical Applications of Boolean Satisfiability. Workshop on Discrete Event Systems (WODES'08), Goteborg, Sweden.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: May 2008
Additional Information:
Event Dates: May 2008
Venue - Dates:
Workshop on Discrete Event Systems (WODES'08), Goteborg, Sweden, 2008-05-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265340
URI: http://eprints.soton.ac.uk/id/eprint/265340
PURE UUID: fbae3a55-2db6-4489-83cf-2132e52c83f4
Catalogue record
Date deposited: 27 Mar 2008 14:47
Last modified: 14 Mar 2024 08:06
Export record
Contributors
Author:
Joao 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.