%0 Conference Paper %1 conf/flops/CodishEGIS18 %A Codish, Michael %A Ehlers, Thorsten %A Gange, Graeme %A Itzhakov, Avraham %A Stuckey, Peter J. %B FLOPS %D 2018 %E Gallagher, John P. %E Sulzmann, Martin %I Springer %K %P 182-197 %T Breaking Symmetries with Lex Implications. %U http://dblp.uni-trier.de/db/conf/flops/flops2018.html#CodishEGIS18 %V 10818 %@ 978-3-319-90686-7

@inproceedings{conf/flops/CodishEGIS18, added-at = {2023-12-14T16:54:11.000+0100}, author = {Codish, Michael and Ehlers, Thorsten and Gange, Graeme and Itzhakov, Avraham and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/22dc66ac88af8b2183f850c1b7dfd4d23/admin}, booktitle = {FLOPS}, crossref = {conf/flops/2018}, editor = {Gallagher, John P. and Sulzmann, Martin}, ee = {https://www.wikidata.org/entity/Q60691819}, interhash = {fec6f2ea4292b630c6c1583363cd12ab}, intrahash = {2dc66ac88af8b2183f850c1b7dfd4d23}, isbn = {978-3-319-90686-7}, keywords = {}, pages = {182-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:54:11.000+0100}, title = {Breaking Symmetries with Lex Implications.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2018.html#CodishEGIS18}, volume = 10818, year = 2018 }