%0 Journal Article %1 journals/corr/abs-1008-1809 %A Drescher, Christian %A Tifrea, Oana %A Walsh, Toby %D 2010 %J CoRR %K %T Symmetry-breaking Answer Set Solving %U http://dblp.uni-trier.de/db/journals/corr/corr1008.html#abs-1008-1809 %V abs/1008.1809

@article{journals/corr/abs-1008-1809, added-at = {2023-12-13T02:00:18.000+0100}, author = {Drescher, Christian and Tifrea, Oana and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/252eefd45e3ff63312447ed72cbce208e/admin}, ee = {http://arxiv.org/abs/1008.1809}, interhash = {798a34d6c0c025c839ec4ca0c3cd434f}, intrahash = {52eefd45e3ff63312447ed72cbce208e}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:00:18.000+0100}, title = {Symmetry-breaking Answer Set Solving}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1008.html#abs-1008-1809}, volume = {abs/1008.1809}, year = 2010 }