%0 Conference Paper %1 conf/frocos/RegerR019 %A Reger, Giles %A Riener, Martin %A Suda, Martin %B FroCos %D 2019 %E Herzig, Andreas %E Popescu, Andrei %I Springer %K dblp %P 3-21 %T Symmetry Avoidance in MACE-Style Finite Model Finding. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2019.html#RegerR019 %V 11715 %@ 978-3-030-29007-8

@inproceedings{conf/frocos/RegerR019, added-at = {2019-12-27T00:00:00.000+0100}, author = {Reger, Giles and Riener, Martin and Suda, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ab89a2ce6f4c661e20bfb8dcece55017/dblp}, booktitle = {FroCos}, crossref = {conf/frocos/2019}, editor = {Herzig, Andreas and Popescu, Andrei}, ee = {https://doi.org/10.1007/978-3-030-29007-8_1}, interhash = {ef78ba6e3eab348e1838cd5b1628e248}, intrahash = {ab89a2ce6f4c661e20bfb8dcece55017}, isbn = {978-3-030-29007-8}, keywords = {dblp}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T08:15:26.000+0100}, title = {Symmetry Avoidance in MACE-Style Finite Model Finding.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2019.html#RegerR019}, volume = 11715, year = 2019 }