Heule, M., Järvisalo, M., Lonsing, F., Seidl, M., & Biere, A. (2015). Clause Elimination for SAT and QSAT. The Journal of artificial intelligence research, 53, 127-168. https://doi.org/10.1613/jair.4694
Citace podle Chicago (17th ed.)Heule, Marijn, Matti Järvisalo, Florian Lonsing, Martina Seidl, a Armin Biere. "Clause Elimination for SAT and QSAT." The Journal of Artificial Intelligence Research 53 (2015): 127-168. https://doi.org/10.1613/jair.4694.
Citace podle MLA (9th ed.)Heule, Marijn, et al. "Clause Elimination for SAT and QSAT." The Journal of Artificial Intelligence Research, vol. 53, 2015, pp. 127-168, https://doi.org/10.1613/jair.4694.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..