American Psychological Association 6th edition

LYNCE, I., & MARQUES-SILVA, J. (2007, January 1). Random backtracking in backtrack search algorithms for satisfiability. 155(12). Amsterdam; Lausanne; New York, NY: Elsevier, 2007. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962801

ISO-690 (author-date, English)

LYNCE, I and MARQUES-SILVA, J, 2007. Random backtracking in backtrack search algorithms for satisfiability. In: [online]. Amsterdam; Lausanne; New York, NY: Elsevier, 2007. 1 January 2007. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962801

Modern Language Association 9th edition

LYNCE, I., and J. MARQUES-SILVA. Random backtracking in backtrack search algorithms for satisfiability. no. 12, Amsterdam; Lausanne; New York, NY: Elsevier, 2007., 2007, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962801.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

LYNCE, I. and MARQUES-SILVA, J. (2007), “Random backtracking in backtrack search algorithms for satisfiability”, in , Vol. 155, Amsterdam; Lausanne; New York, NY: Elsevier, 2007., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962801.

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