APA引文

Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.

Chicago Style (17th ed.) Citation

Jeavons, P., and J. Petke. Local Consistency and SAT−solvers. 2012.

MLA引文

Jeavons, P., and J. Petke. Local Consistency and SAT−solvers. 2012.

警告：這些引文格式不一定是100％准確.