Babić, D., Bingham, J., & Hu, A. J. (2005, June 13). Efficient SAT solving: Beyond supercubes. Proceedings 2005 : Design Automation Conference : Anaheim Convention Center, Anaheim, CA, June 13-17, 2005, 744-749. https://doi.org/10.1145/1065579.1065774
Citace podle Chicago (17th ed.)Babić, Domagoj, Jesse Bingham, a Alan J. Hu. "Efficient SAT Solving: Beyond Supercubes." Proceedings 2005 : Design Automation Conference : Anaheim Convention Center, Anaheim, CA, June 13-17, 2005 13 Jun. 2005: 744-749. https://doi.org/10.1145/1065579.1065774.
Citace podle MLA (9th ed.)Babić, Domagoj, et al. "Efficient SAT Solving: Beyond Supercubes." Proceedings 2005 : Design Automation Conference : Anaheim Convention Center, Anaheim, CA, June 13-17, 2005, 13 Jun. 2005, pp. 744-749, https://doi.org/10.1145/1065579.1065774.