Answer Set Programming via Mixed Integer Programming (2012)

AUTHORS:

Liu Guohua , Janhunen Tomi , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 32-42