Khaled M. Bugrara, Paul Walton Purdom Jr.. Average Time Analysis of Clause Order Backtracking. SIAM Journal on Computing, 22(2):303-317, 1993.
@article{BugraraP93,
title = {Average Time Analysis of Clause Order Backtracking},
author = {Khaled M. Bugrara and Paul Walton Purdom Jr.},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/BugraraP93},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {22},
number = {2},
pages = {303-317},
}