CITATION STYLE
Biere, A. (2012). Preprocessing and Inprocessing Techniques in SAT (pp. 1–1). https://doi.org/10.1007/978-3-642-34188-5_1
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley