Sat-Based Answer Set Programming