A Definability Dichotomy for Finite Valued CSPs (2015)

First Author: Dawar A
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