An Experimental Study of Search Strategies and Heuristics in Answer Set Programming