APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Babić, Domagoj, Jesse Bingham, and 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.

MLA (9th ed.) Citation

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.