Lynce, I. and Marques-Silva, J. (2007) Breaking Symmetries in SAT Matrix Models. In: International Conference on Theory and Applications of Satisfiability Testing, May 2007, Lisbon, Portugal. pp. 22-27.
Download
![[img]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF
Available under License Creative Commons Attribution Non-commercial No Derivatives. 313Kb |
| Item Type: | Conference or Workshop Item | ||||
|---|---|---|---|---|---|
| Creator/Authors: |
| ||||
| Research Group: | Old ECS Groups > Dependable Systems and Software Engineering Research Group | ||||
| Date: | May 2007 | ||||
| Information about this record: | |||||
| Performance Indicator: | EZ~02~01~04 | ||||
| Citations: | ISI: 1, Google Scholar: 4 | ||||
| Downloads (2010): | 34 | ||||
| ID Code: | 13661 | ||||
| Last Modified: | 23 Sep 2011 10:34 | ||||
| Deposited On: | 06 Mar 2007 by Marques-Silva, Joao | ||||
Tools & Metadata
Download Statistics
Members of ECS may view the download statistics dashboard for this record.
Corrections
ECS staff and postgraduates may modify this record
