Translating Answer-Set Programs into Bit-Vector Logic

Mai Nguyen, Tomi Janhunen, Ilkka Niemelä

Answer set programming (ASP) is a paradigm for declarative problem solving where problems are first formalized as rule sets, i.e., answer-set programs, in a uniform way and then so…