@inproceedings{pipatsrisawat09width,
author="Knot Pipatsrisawat and Adnan Darwiche",
booktitle="Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT'09)",
title="Width-Based Restart Policies for Clause-Learning Satisfiability Solvers",
pages="341--355",
year=2009,
month="June"
}