Solver Scheduling via Answer Set Programming