San Segundo, P., Tapia, C., Puente, J., & Rodriguez-Losada, D. (2008). A New Exact Bit-Parallel Algorithm for SAT. 2008 20th IEEE International Conference on Tools with Artificial Intelligence, 2, 59-65. https://doi.org/10.1109/ICTAI.2008.127
Citácia podle Chicago (17th ed.)San Segundo, P., C. Tapia, J. Puente, a D. Rodriguez-Losada. "A New Exact Bit-Parallel Algorithm for SAT." 2008 20th IEEE International Conference on Tools with Artificial Intelligence 2 (2008): 59-65. https://doi.org/10.1109/ICTAI.2008.127.
Citácia podľa MLA (8th ed.)San Segundo, P., et al. "A New Exact Bit-Parallel Algorithm for SAT." 2008 20th IEEE International Conference on Tools with Artificial Intelligence, vol. 2, 2008, pp. 59-65, https://doi.org/10.1109/ICTAI.2008.127.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..