@article{
title="On Modern Clause-Learning Satisfiability Solvers",
author="Knot Pipatsrisawat and Adnan Darwiche",
journal="Journal of Automated Reasoning",
volume=44,
number=3,
pages={277--301},
year=2010
}