Lynce, Ines and Marques-Silva, Joao (2007) Breaking Symmetries in SAT Matrix Models. International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal. pp. 22-27 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: May 2007
Additional Information:
Event Dates: May 2007
Venue - Dates:
International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal, 2007-05-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 263661
URI: http://eprints.soton.ac.uk/id/eprint/263661
PURE UUID: df00b589-7532-46b7-8fa4-c4b303dc0286
Catalogue record
Date deposited: 06 Mar 2007
Last modified: 14 Mar 2024 07:36
Export record
Contributors
Author:
Ines Lynce
Author:
Joao Marques-Silva
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.