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
Citace podle Chicago (17th ed.)Byskov, Jesper Makholm, Bolette Ammitzbøll Madsen, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..