Chen, J., Xu, C., & Wang, J. (2017). Dealing with 4-variables by resolution: An improved MaxSAT algorithm. Theoretical computer science, 670, 33-44. https://doi.org/10.1016/j.tcs.2017.01.020
Citace podle Chicago (17th ed.)Chen, Jianer, Chao Xu, a Jianxin Wang. "Dealing with 4-variables by Resolution: An Improved MaxSAT Algorithm." Theoretical Computer Science 670 (2017): 33-44. https://doi.org/10.1016/j.tcs.2017.01.020.
Citace podle MLA (9th ed.)Chen, Jianer, et al. "Dealing with 4-variables by Resolution: An Improved MaxSAT Algorithm." Theoretical Computer Science, vol. 670, 2017, pp. 33-44, https://doi.org/10.1016/j.tcs.2017.01.020.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..