Stochastic local search for SMT: combining theory solvers with WalkSAT

View/Open
Series
Lecture Notes in Computer Science
Pagination
163 - 178
Publisher
Springer-Verlag
Publisher URL
http://dl.acm.org/citation.cfm?id=2050784.2050798
ISBN-13
978-3-642-24363-9
Metadata
Show full item record
Authors
Griggio, A; Phan, Q-S; Sebastiani, R; Tomasi, S
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/6099
Collections