Introducing Real Variables and Integer Objective Functions to Answer Set Programming (2013)

AUTHORS:

Liu Guohua , Janhunen Tomi , Niemelä Ilkka

  • BOOKTITLE:
  • VOLUME:
  • 1306
  • SERIES:
  • Technical Report
  • PAGES:
  • 93-107

URL:
http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf