Hamadi, Y., & Wintersteiger, C. M. (2013). Seven Challenges in Parallel SAT Solving. The AI magazine, 34(2), 99-106. https://doi.org/10.1609/aimag.v34i2.2450
Citácia podle Chicago (17th ed.)Hamadi, Youssef, a Christoph M. Wintersteiger. "Seven Challenges in Parallel SAT Solving." The AI Magazine 34, no. 2 (2013): 99-106. https://doi.org/10.1609/aimag.v34i2.2450.
Citácia podľa MLA (8th ed.)Hamadi, Youssef, a Christoph M. Wintersteiger. "Seven Challenges in Parallel SAT Solving." The AI Magazine, vol. 34, no. 2, 2013, pp. 99-106, https://doi.org/10.1609/aimag.v34i2.2450.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..