Marques-Silva, Joao and Manquinho, Vasco (2008) Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, China.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: May 2008
Additional Information:
Event Dates: May 2008
Venue - Dates:
International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, China, 2008-05-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265228
URI: http://eprints.soton.ac.uk/id/eprint/265228
PURE UUID: ffaf06b3-4ce6-4821-aaeb-0a3ed97a8f06
Catalogue record
Date deposited: 29 Feb 2008 12:11
Last modified: 14 Mar 2024 08:04
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Vasco Manquinho
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.