A Definability Dichotomy for Finite Valued CSPs (2015)
Attributed to:
Descriptive Complexity with Algebraic Operators
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.60
Publication URI: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.60
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany