APA (7th ed.) Citation

Burnett, A. W., & Parkes, A. J. (2016). Systematic search for local-search SAT heuristics.

Chicago Style (17th ed.) Citation

Burnett, Andrew W., and Andrew J. Parkes. Systematic Search for Local-search SAT Heuristics. 2016.

MLA (9th ed.) Citation

Burnett, Andrew W., and Andrew J. Parkes. Systematic Search for Local-search SAT Heuristics. 2016.

Warning: These citations may not always be 100% accurate.