%0 Conference Paper %1 journals/corr/abs-2208-03095 %A Tarzariol, Alice %B ICLP Technical Communications / Doctoral Consortium %D 2022 %E Lierler, Yuliya %E Morales, José F. %E Dodaro, Carmine %E Dahl, Verónica %E Gebser, Martin %E Tekle, K. Tuncay %K dblp %P 200-210 %T A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs364.html#abs-2208-03095 %V 364

@inproceedings{journals/corr/abs-2208-03095, added-at = {2023-08-28T00:00:00.000+0200}, author = {Tarzariol, Alice}, biburl = {https://www.bibsonomy.org/bibtex/22f9f5c079c1dd0f616ba65083810bdd4/dblp}, booktitle = {ICLP Technical Communications / Doctoral Consortium}, crossref = {journals/corr/abs-2208-02685}, editor = {Lierler, Yuliya and Morales, José F. and Dodaro, Carmine and Dahl, Verónica and Gebser, Martin and Tekle, K. Tuncay}, ee = {https://www.wikidata.org/entity/Q114021278}, interhash = {a79d6d1ffaec700a566132ae1911b4fd}, intrahash = {2f9f5c079c1dd0f616ba65083810bdd4}, keywords = {dblp}, pages = {200-210}, series = {EPTCS}, timestamp = {2024-04-09T09:29:27.000+0200}, title = {A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs364.html#abs-2208-03095}, volume = 364, year = 2022 }