Marques-Silva, Joao and Planes, Jordi (2008) Algorithms for Maximum Satisfiability using Unsatisfiable Cores. Design, Automation and Test in Europe Conference and Exhibition, Munich, Germany. 06 - 10 Mar 2008.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: March 2008
Additional Information:
Event Dates: 6-10 March
Venue - Dates:
Design, Automation and Test in Europe Conference and Exhibition, Munich, Germany, 2008-03-06 - 2008-03-10
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265000
URI: http://eprints.soton.ac.uk/id/eprint/265000
PURE UUID: 8a35da50-ccb1-4ce0-8bd5-bf13294895e0
Catalogue record
Date deposited: 05 Jan 2008 00:13
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Jordi Planes
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.