%0 Conference Paper %1 journals/corr/abs-2009-10248 %A Wulf, Wolf De %A Bogaerts, Bart %B ICLP Technical Communications %D 2020 %E Ricca, Francesco %E Russo, Alessandra %E Greco, Sergio %E Leone, Nicola %E Artikis, Alexander %E Friedrich, Gerhard %E Fodor, Paul %E Kimmig, Angelika %E Lisi, Francesca A. %E Maratea, Marco %E Mileo, Alessandra %E Riguzzi, Fabrizio %K dblp %P 206-219 %T LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs325.html#abs-2009-10248 %V 325

@inproceedings{journals/corr/abs-2009-10248, added-at = {2022-10-02T00:00:00.000+0200}, author = {Wulf, Wolf De and Bogaerts, Bart}, biburl = {https://www.bibsonomy.org/bibtex/28472a727e6184ff408c2b914b2c194a8/dblp}, booktitle = {ICLP Technical Communications}, crossref = {journals/corr/abs-2009-09158}, 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 A. and Maratea, Marco and Mileo, Alessandra and Riguzzi, Fabrizio}, ee = {https://arxiv.org/abs/2009.10248}, interhash = {9991ec4ecee163a51510b6fbb695dbd0}, intrahash = {8472a727e6184ff408c2b914b2c194a8}, keywords = {dblp}, pages = {206-219}, series = {EPTCS}, timestamp = {2024-04-10T16:57:16.000+0200}, title = {LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs325.html#abs-2009-10248}, volume = 325, year = 2020 }