Seto, K., & Tamaki, S. (2013). A satisfiability algorithm and average-case hardness for formulas over the full binary basis. Computational complexity, 22(2), 245-274. https://doi.org/10.1007/s00037-013-0067-7
Citace podle Chicago (17th ed.)Seto, Kazuhisa, a Suguru Tamaki. "A Satisfiability Algorithm and Average-case Hardness for Formulas over the Full Binary Basis." Computational Complexity 22, no. 2 (2013): 245-274. https://doi.org/10.1007/s00037-013-0067-7.
Citace podle MLA (9th ed.)Seto, Kazuhisa, a Suguru Tamaki. "A Satisfiability Algorithm and Average-case Hardness for Formulas over the Full Binary Basis." Computational Complexity, vol. 22, no. 2, 2013, pp. 245-274, https://doi.org/10.1007/s00037-013-0067-7.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..