CITATION STYLE
Hamadi, Y. (2013). Parallel Local Search for Satisfiability. In Combinatorial Search: From Algorithms to Systems (pp. 49–69). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-41482-4_4
Mendeley helps you to discover research relevant for your work.