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
    Pages95-113
    Number of pages19
    DOIs
    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