Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Parallel SAT Solving
Guest editors: Youssef Hamadi
Article type: Editorial
Authors: Hamadi, Youssef
Affiliations: Microsoft Research, 7 J J Thomson Avenue, CB3 0FB Cambridge, United Kingdom. E-mail: [email protected]
DOI: 10.3233/SAT190071
Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 6, no. 4, pp. 263-263, 2010