On Using Unsatisfiability for Solving Maximum Satisfiability

Marques-Silva, Joao and Planes, Jordi (2007) On Using Unsatisfiability for Solving Maximum Satisfiability

Record type: Monograph (Project Report)

Text

jpms-corr07.pdf - Other

Available under License Other.

Download (358kB)

More information

Published date: 7 December 2007

Additional Information: ArXiv Report arXiv:0712.1097

Related URLs:

Organisations: Electronics & Computer Science

Local EPrints ID: 264997

URI: http://eprints.soton.ac.uk/id/eprint/264997

PURE UUID: 48b66c04-8575-4b4c-bb95-8caec9bc2f3d

Date deposited: 04 Jan 2008 23:45

Last modified: 14 Mar 2024 08:00

Author: Joao Marques-Silva

Author: Jordi Planes

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.