most citedLP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2020★ 1 cited

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

Wolf De Wulf, Bart Bogaerts

Answer set programming (ASP) is a well-established knowledge representation formalism. Most ASP solvers are based on (extensions of) technology from Boolean satisfiability solving.…