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
Citace podle Chicago (17th ed.)KhudaBukhsh, Ashiqur R., Lin Xu, Holger H. Hoos, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..