APA (7th ed.) Citation

Byskov, J. M., Madsen, B. A., & Skjernaa, B. (2005). New algorithms for Exact Satisfiability. Theoretical computer science, 332(1), 515-541. https://doi.org/10.1016/j.tcs.2004.12.023

Chicago Style (17th ed.) Citation

Byskov, Jesper Makholm, Bolette Ammitzbøll Madsen, and Bjarke Skjernaa. "New Algorithms for Exact Satisfiability." Theoretical Computer Science 332, no. 1 (2005): 515-541. https://doi.org/10.1016/j.tcs.2004.12.023.

MLA (9th ed.) Citation

Byskov, Jesper Makholm, et al. "New Algorithms for Exact Satisfiability." Theoretical Computer Science, vol. 332, no. 1, 2005, pp. 515-541, https://doi.org/10.1016/j.tcs.2004.12.023.