Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումJeavons, P., and J. Petke. Local Consistency and SAT−solvers. 2012.
MLA (9րդ խմբ.) ՄեջբերումJeavons, P., and J. Petke. Local Consistency and SAT−solvers. 2012.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.