Automated Configuration Problem Solving - Petrie, Charles J. (Springer New York : Imprint: Springer, 2012)