LIERLER, Y. (2011). Abstract answer set solvers with backjumping and learning. Theory and practice of logic programming, 11(2-3), 135-169. https://doi.org/10.1017/S1471068410000578
Citace podle Chicago (17th ed.)LIERLER, YULIYA. "Abstract Answer Set Solvers with Backjumping and Learning." Theory and Practice of Logic Programming 11, no. 2-3 (2011): 135-169. https://doi.org/10.1017/S1471068410000578.
Citace podle MLA (9th ed.)LIERLER, YULIYA. "Abstract Answer Set Solvers with Backjumping and Learning." Theory and Practice of Logic Programming, vol. 11, no. 2-3, 2011, pp. 135-169, https://doi.org/10.1017/S1471068410000578.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..