%0 Journal Article %1 journals/corr/abs-2112-11806 %A Tarzariol, Alice %A Gebser, Martin %A Schekotihin, Konstantin %D 2021 %J CoRR %K dblp %T Lifting Symmetry Breaking Constraints with Inductive Logic Programming. %U http://dblp.uni-trier.de/db/journals/corr/corr2112.html#abs-2112-11806 %V abs/2112.11806

@article{journals/corr/abs-2112-11806, added-at = {2022-01-04T00:00:00.000+0100}, author = {Tarzariol, Alice and Gebser, Martin and Schekotihin, Konstantin}, biburl = {https://www.bibsonomy.org/bibtex/21621461fcb62217201a54676a0a92fc9/dblp}, ee = {https://arxiv.org/abs/2112.11806}, interhash = {79dbb3b552d7e4ab302c282096ffc822}, intrahash = {1621461fcb62217201a54676a0a92fc9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:32:39.000+0200}, title = {Lifting Symmetry Breaking Constraints with Inductive Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2112.html#abs-2112-11806}, volume = {abs/2112.11806}, year = 2021 }