dc.contributor.author | Griggio, A | en_US |
dc.contributor.author | Phan, Q-S | en_US |
dc.contributor.author | Sebastiani, R | en_US |
dc.contributor.author | Tomasi, S | en_US |
dc.date.accessioned | 2014-09-15T10:36:32Z | |
dc.date.issued | 2011 | en_US |
dc.identifier.isbn | 978-3-642-24363-9 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/6099 | |
dc.description | This is the author’s accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-24364-6_12. | |
dc.description | acmid: 2050798 location: Saarbrücken, Germany numpages: 16 | |
dc.description | acmid: 2050798 location: Saarbrücken, Germany numpages: 16 | en_US |
dc.format.extent | 163 - 178 | en_US |
dc.publisher | Springer-Verlag | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science | |
dc.title | Stochastic local search for SMT: combining theory solvers with WalkSAT | en_US |
dc.type | Conference Proceeding | |
pubs.notes | Not known | en_US |
pubs.publisher-url | http://dl.acm.org/citation.cfm?id=2050784.2050798 | en_US |