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
Citácia 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.
Citácia podľa MLA (8th 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..