APA (7th ed.) Citation

KhudaBukhsh, A. R., Xu, L., Hoos, H. H., & Leyton-Brown, K. (2016). SATenstein: Automatically building local search SAT solvers from components. Artificial intelligence, 232, 20-42. https://doi.org/10.1016/j.artint.2015.11.002

Chicago Style (17th ed.) Citation

KhudaBukhsh, Ashiqur R., Lin Xu, Holger H. Hoos, and Kevin Leyton-Brown. "SATenstein: Automatically Building Local Search SAT Solvers from Components." Artificial Intelligence 232 (2016): 20-42. https://doi.org/10.1016/j.artint.2015.11.002.

MLA (9th ed.) Citation

KhudaBukhsh, Ashiqur R., et al. "SATenstein: Automatically Building Local Search SAT Solvers from Components." Artificial Intelligence, vol. 232, 2016, pp. 20-42, https://doi.org/10.1016/j.artint.2015.11.002.