Answer Set Programming via Mixed Integer Programming

Open in new window