Translating Answer-Set Programs into Bit-Vector Logic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    13 Citations (Scopus)
    Original languageEnglish
    Title of host publication19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011
    Subtitle of host publicationApplications of Declarative Programming and Knowledge Management
    EditorsHans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
    Place of PublicationBerlin Heidelberg
    Number of pages19
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameLecture Notes in Computer Science
    Volume7773 LNAI
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Cite this