@inproceedings{pipatsrisawat09power,
title="On the Power of Clause-Learning {SAT} Solvers with Restarts",
author="Knot Pipatsrisawat and Adnan Darwiche",
booktitle="Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP-09)",
pages="654--668",
month="September",
year=2009
}