Marques-Silva, Joao and Sakallah, Karem (eds.) (2007) Theory and Applications of Satisfiability Testing (SAT 2007) (LNCS, 4501), vol. 4501, Springer
Record type:
Book
This record has no associated files available for download.
More information
Published date: May 2007
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 264025
URI: http://eprints.soton.ac.uk/id/eprint/264025
ISBN: 978-3-540-72787-3
PURE UUID: 0b374e77-1056-481c-8053-14cca77f50b2
Catalogue record
Date deposited: 17 May 2007
Last modified: 08 Jan 2022 14:47
Export record
Contributors
Editor:
Joao Marques-Silva
Editor:
Karem Sakallah
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.