Marques-Silva, Joao, Sakallah, Karem and Lynce, Ines (2007) Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AI Magazine, 28 (4), 135-136.
Record type:
Article
More information
Published date: 2007
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265020
URI: http://eprints.soton.ac.uk/id/eprint/265020
PURE UUID: da9246bc-b33c-445a-9586-dd9e066892ed
Catalogue record
Date deposited: 10 Jan 2008 01:28
Last modified: 14 Mar 2024 08:01
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Karem Sakallah
Author:
Ines Lynce
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.