Title: Answer Set Solving in Practice