@inproceedings{14082,
  title = "Submodular functions and valued constraint satisfaction problems over infinite domains",
  author = "M. Bodirsky, M. Mamino, and C. Viola",
  year = "2018",
  journal = "Proceedings of the 27th EACSL Annual Conference on Computer Science Logic (CSL)",
  pages = "12:1–12:22",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  url = "https://arxiv.org/abs/1804.01710",
  doi = "10.4230/LIPIcs.CSL.2018.12",
}