@Inproceedings{EPTCS325.25, author = {De Wulf, Wolf and Bogaerts, Bart }, year = {2020}, title = {LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories}, editor = {Ricca, Francesco and Russo, Alessandra and Greco, Sergio and Leone, Nicola and Artikis, Alexander and Friedrich, Gerhard and Fodor, Paul and Kimmig, Angelika and Lisi, Francesca and Maratea, Marco and Mileo, Alessandra and Riguzzi, Fabrizio}, booktitle = {{\rm Proceedings 36th International Conference on} Logic Programming {\rm (Technical Communications)}, {\rm UNICAL, Rende (CS), Italy, 18-24th September 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {325}, publisher = {Open Publishing Association}, pages = {206-219}, doi = {10.4204/EPTCS.325.25}, }