Automated Configuration Problem Solving - Charles J. Petrie ((SpringerBriefs in Computer Science))