Go to the corresponding LIPIcs Volume Portal 
Bodirsky, Manuel ; Mamino, Marcello ; Viola, Caterina
pdfformat: 

@InProceedings{bodirsky_et_al:LIPIcs:2018:9679, author = {Manuel Bodirsky and Marcello Mamino and Caterina Viola}, title = {{Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains}}, booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)}, pages = {12:112:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770880}, ISSN = {18688969}, year = {2018}, volume = {119}, editor = {Dan Ghica and Achim Jung}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9679}, URN = {urn:nbn:de:0030drops96792}, doi = {10.4230/LIPIcs.CSL.2018.12}, annote = {Keywords: Valued constraint satisfaction problems, Piecewise linear functions, Submodular functions, Semilinear, Constraint satisfaction, Optimisation, Model Th} }
Keywords:  Valued constraint satisfaction problems, Piecewise linear functions, Submodular functions, Semilinear, Constraint satisfaction, Optimisation, Model Th  
Seminar:  27th EACSL Annual Conference on Computer Science Logic (CSL 2018)  
Issue Date:  2018  
Date of publication:  21.08.2018 