Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.
Citace podle Chicago (17th ed.)Jeavons, P., a J. Petke. Local Consistency and SAT−solvers. 2012.
Citace podle MLA (9th ed.)Jeavons, P., a J. Petke. Local Consistency and SAT−solvers. 2012.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..