Applying Incremental Answer Set Solving to Product Configuration | Read Paper on Bytez