Introducing Real Variables and Integer Objective Functions to Answer Set Programming (2013)
  • BOOKTITLE:
  • Kiel Declarative Programming Days 2013
  • SERIES:
  • Technical Report
  • VOLUME:
  • 1306
  • PAGES:
  • 93--107
[BibTex]