Translating Answer-Set Programs into Bit-Vector Logic (2013)

AUTHORS:

Nguyen Mai , Tomi , Niemelä Ilkka

  • BOOKTITLE:
  • VOLUME:
  • 7773
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 95-113

URL:
http://dx.doi.org/10.1007/978-3-642-41524-1_6